PrototypeCommune
stanford-centaur/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
- Propriétaire
- stanford-centaur (organisation)
- Étoiles
- Étoiles : 150
- Forks
- Forks : 39
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- automated-theorem-provinglean4machine-learningpythonautomated-reasoningtheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de stanford-centaur
Les 3 dépôts de stanford-centaur- stanford-centaur/smt-switchÉtoiles : 143C++Prototype
- stanford-centaur/ponoÉtoiles : 135C++Prototype
D’autres dépôts Python
Tous les dépôts Python- polaris-smart/mcd-agent-gourmetÉtoiles : 150PythonPrototype
- RosettaCommons/chaperoneÉtoiles : 150PythonPrototype
- WilderNoTrack/mcd-calorie-butlerÉtoiles : 150PythonPrototype
- Dunedan/django-lockdownÉtoiles : 150PythonPrototype
- vslavik/bakefileÉtoiles : 150PythonPrototype
- your-tools/pycpÉtoiles : 150PythonPrototype