Geeks
theoremprover-museum
/
InKa
InKa - an inductive theorem prover
Primary Language
Common Lisp
InKa GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
No issues in this repository yet.