Geeks
olivi-r
/
first-order
Simple first-order logic library
Primary Language
Python
MIT License
MIT
first-order GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
olivi-r
United Kingdom