daviddoret/punctilious

A human-friendly and developer-friendly math proof assistant

Language: Python - Size: 55.8 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0