Skip to content

docs(proofs): record what the active Agda CNO/OND terms actually state - #197

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

docs(proofs): record what the active Agda CNO/OND terms actually state#197
hyperpolymath wants to merge 1 commit into
mainfrom
docs/proof-claims-audit-2026-11-09

Commits

  1. Commits on Nov 9, 2026