Repository

https://github.com/daviddoret/punctilious.git

Project Slug

punctilious

Last Built

1 day, 9 hours ago failed

Maintainers

Home Page

https://github.com/daviddoret/punctilious/

Badge

Tags

formal-system, math, mathematics, math-proof-assistant, proof, proof-assistant, punctilious

Short URLs

punctilious.readthedocs.io
punctilious.rtfd.io

Default Version

latest

'latest' Version

master