PrototypeCommune
philzook58/knuckledragger
A Low Barrier Proof Assistant
- Propriétaire
- philzook58 (compte personnel)
- Étoiles
- Étoiles : 180
- Forks
- Forks : 9
- Langage
- Python
- Licence
- MIT
- Création
- 2022
- Sujets
- logictheorem-provingproof-assistantpython
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de philzook58
Les 3 dépôts de philzook58- philzook58/awesome-egraphsÉtoiles : 377Alpha
- philzook58/z3_tutorialÉtoiles : 171Jupyter NotebookPrototype
D’autres dépôts Python
Tous les dépôts Python- davidhnguyen2000/draftÉtoiles : 180PythonPrototype
- Simreal-AI/future-prediction-benchÉtoiles : 180PythonPrototype
- HRuiCcc/RuiC-motion-reelÉtoiles : 180PythonPrototype
- fedora-infra/bodhiÉtoiles : 180PythonPrototype
- gaphor/gaphasÉtoiles : 180PythonPrototype
- coleifer/ircÉtoiles : 180PythonPrototype