docs: author the proof-needs inventory (P-/F-/K- obligation series) by hyperpolymath · Pull Request #609 · hyperpolymath/affinescript · GitHub
Skip to content

docs: author the proof-needs inventory (P-/F-/K- obligation series)#609

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/lucid-cray-4a22dp
Jun 21, 2026
Merged

docs: author the proof-needs inventory (P-/F-/K- obligation series)#609
hyperpolymath merged 2 commits into
mainfrom
claude/lucid-cray-4a22dp

Commits

Commits on Jun 20, 2026

Commits on Jun 21, 2026