Sign in Sign up
pypi

lean-interact

LeanInteract is a Python package that allows you to interact with the Lean theorem prover.

pypi View on Pypi

Activity

Latest release
1w ago
Total releases
38
Cadence
~8 days
Last 12 months
14

Details

License
custom
First release
Feb 05, 2025
Releases
Version Released
0.11.6 patch
0.11.5 patch
0.11.4 patch
0.11.3 patch
0.11.2 patch
0.11.1 patch
0.11.0 minor
0.10.5 patch
0.10.4 patch
0.10.3 patch
0.10.2 patch
0.10.1 patch
0.10.0 minor
0.9.3 patch
0.9.2 patch
0.9.1 patch
0.9.0 minor
0.8.3 patch
0.8.2 patch
0.8.1 patch
0.8.0 minor
0.7.0 minor
0.6.3 patch
0.6.2 patch
0.6.1 patch
0.6.0 minor
0.5.3 patch
0.5.2 patch
0.5.1 patch
0.5.0 minor
0.4.1 patch
0.4.0 minor
0.3.3 patch
0.3.2 patch
0.3.1 patch
0.3.0 minor
0.2.0 minor
0.1.0 initial