Geeks
daviddoret
/
punctilious
A human-friendly and developer-friendly math proof assistant
Primary Language
Python
MIT License
MIT
punctilious Home Page
punctilious GitHub
Markdown
Readme
181
Issues
2
Stargazers
1
Watcher
Watchers
daviddoret
Geneva