Geeks
MrChico
/
CompMeta
Exercises in computational metaphysics
Primary Language
Isabelle
CompMeta GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
CompMeta
Exercises in computational metaphysics