Skip to content

Commit 395f8c8

Browse files
hyperpolymathhyperpolymath
authored
Merge pull request #48 from hyperpolymath/fix/coq-mechanization-axiom-free
Repair Coq + Agda formal verification so it actually checks (axiom-free)
2 parents 6f6e8d8 + de2bd25 commit 395f8c8

1 file changed

Lines changed: 346 additions & 190 deletions

File tree

0 commit comments

Comments
 (0)