formalmath
PyPIA modular formal mathematics systems library, including Metamath
Latest v0.1.3 · Sep 30, 202514 downloads · 30d
Downloads
Daily downloads
PyPI · excludes known mirrors
downloads1
Oct 24
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | lixiang90/formalmath | Registry metadata |
| 2 | PrimeIntellect-ai/prime-envs | Source package · Manifest |
| 3 | PrimeIntellect-ai/research-environments | Source package · Manifest |
Recent releases
| Version | Published |
|---|---|
| 0.1.3 | Sep 30, 2025 |
| 0.1.2 | Sep 30, 2025 |
| 0.1.1 | Jun 14, 2025 |
| 0.1.0 | Jun 14, 2025 |
| 0.0.9 | Jun 9, 2023 |