Repository navigation

proof(SafeHTTP): annotate 3 bodyless decls as OWED (Refs standards#158) - #43

Merged

hyperpolymath merged 2 commits into

mainfrom

proof/owed-SafeHTTP-158

May 20, 2026

Merged

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

Commits on May 20, 2026
- proof(SafeHTTP): annotate 3 bodyless decls as OWED-with-justification
  hyperpolymath
  committed
  07db078
- Merge branch 'main' into proof/owed-SafeHTTP-158
  hyperpolymath
  authored
  e3d18d5