Various formal proofs done in Abella theorem prover
Primary LanguageAMPL
This repository is not active