proofofthought
PyPILLM-based reasoning using Z3 theorem proving
Latest v2.0.0 · Oct 31, 202613 downloads · 30dMIT
Downloads
Daily downloads
PyPI · excludes known mirrors
downloads2
Oct 30
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | DebarghaG/proofofthought | Registry metadata |
Recent releases
| Version | Published |
|---|---|
| 2.0.0 | Oct 31, 2026 |
| 2.0.0rc1 | Jun 12, 2026 |
| 1.0.1.dev202604011558 | Apr 1, 2026 |
| 1.0.1 | Oct 18, 2025 |
| 1.0.0 | Oct 18, 2025 |