PrototypeCommon
stanford-centaur/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
- Owner
- stanford-centaur (organization)
- Stars
- Stars: 150
- Forks
- Forks: 39
- Language
- Python
- License
- Apache-2.0
- Created
- 2024
- Topics
- automated-theorem-provinglean4machine-learningpythonautomated-reasoningtheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by stanford-centaur
All 3 repos by stanford-centaur- stanford-centaur/smt-switchStars: 143C++Prototype
- stanford-centaur/ponoStars: 135C++Prototype
Nearby in Python
All Python repos- matsuzaka-yuki/susfs-lkm-moduleStars: 150PythonPrototype
- polaris-smart/mcd-agent-gourmetStars: 150PythonPrototype
- WilderNoTrack/mcd-calorie-butlerStars: 150PythonPrototype
- Dunedan/django-lockdownStars: 150PythonPrototype
- vslavik/bakefileStars: 150PythonPrototype
- your-tools/pycpStars: 150PythonPrototype