Skip to content

ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4) - #18

Merged
hyperpolymath merged 5 commits into
mainfrom
arena/01a10472-lol
Oct 4, 2026
Merged

ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)#18
hyperpolymath merged 5 commits into
mainfrom
arena/01a10472-lol

Update proofs/theories/InformationTheory/Axioms.agda

a4e33a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar