Skip to content

docs(proofs): PROOF-STATUS under strict §1, a §8.2 cone receipt, and a PWG census - #479

Open
hyperpolymath wants to merge 14 commits into
mainfrom
claude/zen-brahmagupta-opqqle-w0-ledger
Open

docs(proofs): PROOF-STATUS under strict §1, a §8.2 cone receipt, and a PWG census#479
hyperpolymath wants to merge 14 commits into
mainfrom
claude/zen-brahmagupta-opqqle-w0-ledger

ci(agda): run the meta-checker on pushes that change only the receipt…

3301b42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar