Licensie / Python

pyprover9

0.0.23

Colab wrapper for the Prover9 theorem prover

License
MIT
Permissive - Unverified

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published
March 7, 2026
8d ago
Package Registry
PyPI Homepage
README badge Customize →
License Sources
SourceLicenseClass
Licensie (detected)
Pending-
PyPI (reported)
MITPermissive

License detection is still in progress for this version.

Loading dependencies…
Versions
6 versions
VersionLicensePublishedStatus
0.0.23 Latest ViewingMIT (Unverified)Mar 7, 2026 Pending
0.0.22 MIT (Unverified)Mar 7, 2026 Pending
0.0.21 MIT (Unverified)Mar 7, 2026 Pending
0.0.20 MIT (Unverified)Mar 6, 2026 Pending
0.0.19 MIT (Unverified)Mar 6, 2026 Pending
0.0.18 MIT (Unverified)Mar 6, 2026 Pending