PrototypeCommune
stepchowfun/theorem-prover
An automated theorem prover for first-order logic.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- stepchowfun (compte personnel)
- Étoiles
- Étoiles : 244
- Forks
- Forks : 30
- Langage
- Python
- Licence
- Aucune
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de stepchowfun
Les 8 dépôts de stepchowfun- stepchowfun/toastÉtoiles : 1 636RustBêta
- stepchowfun/typicalÉtoiles : 767RustBêta
- stepchowfun/docuumÉtoiles : 715RustBêta
- stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha
- stepchowfun/tagrefÉtoiles : 242RustPrototype
- stepchowfun/socket.jsÉtoiles : 143JavaScriptPrototype
D’autres dépôts Python
Tous les dépôts Python- xiaomi-research/xiaomi_spatialembodiedÉtoiles : 244PythonPrototype
- Sleepy-Avacado/FigGenie-paper-diagram-skillÉtoiles : 244PythonPrototype
- yzg1226/mcd-party-officerÉtoiles : 244PythonPrototype
- herumi/fmathÉtoiles : 244PythonPrototype
- andrewf/pcap2harÉtoiles : 244PythonPrototype
- simplistix/testfixturesÉtoiles : 244PythonPrototype