Various formal proofs done in Abella theorem prover
Primary LanguageAMPL
No issues in this repository yet.