PrototypeCommon
stepchowfun/theorem-prover
An automated theorem prover for first-order logic.
Archived: this repository is read-only
- Owner
- stepchowfun (personal account)
- Stars
- Stars: 244
- Forks
- Forks: 30
- Language
- Python
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by stepchowfun
All 8 repos by stepchowfun- stepchowfun/toastStars: 1,636RustBeta
- stepchowfun/typicalStars: 767RustBeta
- stepchowfun/docuumStars: 715RustBeta
- stepchowfun/proofsStars: 316Rocq ProverAlpha
- stepchowfun/tagrefStars: 242RustPrototype
- stepchowfun/socket.jsStars: 143JavaScriptPrototype
Nearby in Python
All Python repos- coll3879xx-cyber/dola-render-gatewayStars: 244PythonPrototype
- yzg1226/mcd-party-officerStars: 244PythonPrototype
- mutonby/agentringStars: 244PythonPrototype
- herumi/fmathStars: 244PythonPrototype
- andrewf/pcap2harStars: 244PythonPrototype
- simplistix/testfixturesStars: 244PythonPrototype