Geeks
Ktedon
/
playing-with-abella
Me just playing around with the Abella theorem prover.
Primary Language
Standard ML
playing-with-abella GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Me just playing around with the Abella theorem prover.