# stanford-centaur/PyPantograph

<https://repo.masters-masters.com/en/repos/stanford-centaur/PyPantograph>

[Home](https://repo.masters-masters.com/en) › [stanford-centaur](https://repo.masters-masters.com/en/owners/stanford-centaur) › [PyPantograph](https://repo.masters-masters.com/en/repos/stanford-centaur/PyPantograph)

stanford-centaur/PyPantograph has 150 stars on GitHub. Its RepoMasters card: Prototype tier. A Machine-to-Machine Interaction System for Lean 4.

| Field | Value |
| --- | --- |
| Owner | [stanford-centaur](https://repo.masters-masters.com/en/owners/stanford-centaur) |
| Stars | 150 |
| Forks | 39 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | Apache-2.0 |
| Created | 2024 |
| Topics | automated-theorem-proving, lean4, machine-learning, python, automated-reasoning, theorem-proving |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [stanford-centaur/PyPantograph](https://github.com/stanford-centaur/PyPantograph) |

## Repository

A Machine-to-Machine Interaction System for Lean 4.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by stanford-centaur

- [stanford-centaur/smt-switch · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/stanford-centaur/smt-switch)
- [stanford-centaur/pono · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/stanford-centaur/pono)

## Nearby in Python

- [polaris-smart/mcd-agent-gourmet · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/polaris-smart/mcd-agent-gourmet)
- [WilderNoTrack/mcd-calorie-butler · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/WilderNoTrack/mcd-calorie-butler)
- [canitcode/video2rig · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/canitcode/video2rig)
- [Dunedan/django-lockdown · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/Dunedan/django-lockdown)
- [vslavik/bakefile · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/vslavik/bakefile)
- [your-tools/pycp · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/your-tools/pycp)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.