Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : punctilious
A human-friendly and developer-friendly math proof assistant
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/punctilious
Keywords: math, mathematics, proof, proof assistant, math proof assistant, formal system, formal-methods, formal-system, proof-assistant, proof-assistants
License: MIT
Latest release: 6 months ago
First release: 9 months ago
Downloads: 61 last month
Stars: 2 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago