<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
daviddoret/punctilious
A human-friendly and developer-friendly math proof assistant
Python
Stars 3
Forks 0
Watchers 3
Open issues 0
License MIT License
Details
仓库信息
Owner
daviddoret
Homepage
https://github.com/daviddoret/punctilious
GitHub
https://github.com/daviddoret/punctilious
Last pushed
2025-08-27
Last updated
2025-12-14
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--