augustepoiroux / LeanInteract
LeanInteract: A Python Interface for Lean 4
Why this job: works in the areas we cover, but does not say which job it does
What it does
- Interactivity. Execute Lean code and files directly from Python.
- Ease of Use. LeanInteract abstracts the complexities of Lean setup and interaction.
- Cross-platform. Works on Windows, macOS, and Linux operating systems.
- Compatibility. Supports all Lean versions between v4.8.0-rc1 and v4.36.0-rc1.
- Temporary Projects. Easily instantiate temporary Lean environments.
Get started
pip install lean-interact- Maintenance
- Active
- Last commit 25 days ago
- Stars
- 138
- +2 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.11.6
- Released 25 days ago
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 92% closed
- 2 still open
- Pull requests
- 18 merged
- 0 waiting
- Releases
- 37
- 14 in the last year
- Contributing guide (opens in new tab)
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| lean-dojo / LeanDojo | 852 | 9 months ago | MIT | No downloads |
| stanford-centaur / PyPantograph | 151 | 13 days ago | Apache-2.0 | No downloads |
| fabio-rovai / open-ontologies | 2,871 | yesterday | MIT | Mac, Windows, Linux |
More: languages, topics and project record
Languages
- Python 100%
Topics
- autoformalization
- lean4
- machine-learning
- python
- theorem-proving
Project record
- JobOther AI tools
- StatusListed
- Commits125
- Forks14
- Watching3
- Stars in 28 days+6
- CreatedFeb 5, 2025
- First seen by usNov 7, 2026
- CheckedNov 8, 2026