Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
You are using our new beta dashboard.
We would love to have your feedback
. If you encounter problems,
return to our normal dashboard
.
punctilious
EN
A human-friendly and developer-friendly math proof assistant
formal-system
math
mathematics
math-proof-assistant
proof
proof-assistant
punctilious
Maintainers
Repository
daviddoret/punctilious
Versions
3
Builds
358
Version latest
/
Builds
/
#24298077
latest
Output
Raw log
Debug
View docs
There was an error with this build
Loading