Skip to content

docs(proofs): correct claims that say more than the Agda states - #369

Open
hyperpolymath wants to merge 1 commit into
mainfrom
docs/proof-claims-audit-2026-11-09
Open

docs(proofs): correct claims that say more than the Agda states#369
hyperpolymath wants to merge 1 commit into
mainfrom
docs/proof-claims-audit-2026-11-09

docs(proofs): correct claims that say more than the Agda states

834e8ad
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar