Repository navigation

proof(SafeHtml): annotate 2 bodyless decls as OWED (Refs standards#158) - #41

Merged

hyperpolymath merged 2 commits into

mainfrom

proof/owed-SafeHtml-158

May 20, 2026

Merged

proof(SafeHtml): annotate 2 bodyless decls as OWED (Refs standards#158)#41
hyperpolymath merged 2 commits into
mainfrom
proof/owed-SafeHtml-158

Commits on May 20, 2026
- proof(SafeHtml): annotate 2 bodyless decls as OWED-with-justification
  
  hyperpolymath
  and
  claude
  committed
  ea73d50
- Merge branch 'main' into proof/owed-SafeHtml-158
  hyperpolymath
  authored
  11dffb9