Geeks
jonaprieto
/
agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
Primary Language
Agda
MIT License
MIT
agda-metis Home Page
agda-metis GitHub
Markdown
Readme
15
Issues
1
Stargazer
1
Watcher
Stargazers
asr
Universidad EAFIT