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

Commits

  1. Commits on Nov 9, 2026