https://github.com/daviddoret/punctilious

A human-friendly and developer-friendly math proof assistant

formal-methods formal-system math mathematics proof proof-assistant proof-assistants

Last synced: 07 Apr 2026