stanford-centaur / PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
Why this job: works in the areas we cover, but does not say which job it does
Get started
uv add git+https://github.com/stanford-centaur/PyPantograph
uv sync - Maintenance
- Active
- Last commit 13 days ago
- Stars
- 151
- +2 this week
- Licence
- Apache-2.0
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.3.15
- Released 6 months ago
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 89% closed
- 8 still open
- Pull requests
- 98 merged
- 3 waiting
- Releases
- 6
- 4 in the last year
- No contributing guide
- 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 |
| augustepoiroux / LeanInteract | 138 | 25 days ago | MIT | No downloads |
| fabio-rovai / open-ontologies | 2,871 | yesterday | MIT | Mac, Windows, Linux |
More: languages, topics and project record
Languages
- Python 100%
Topics
- automated-reasoning
- automated-theorem-proving
- lean4
- machine-learning
- python
- theorem-proving
Project record
- JobOther AI tools
- StatusListed
- Commits479
- Forks39
- Watching5
- Stars in 28 days+2
- CreatedApr 11, 2024
- First seen by usNov 7, 2026
- CheckedNov 8, 2026