PrototypeCommon
philzook58/knuckledragger
A Low Barrier Proof Assistant
- Owner
- philzook58 (personal account)
- Stars
- Stars: 180
- Forks
- Forks: 9
- Language
- Python
- License
- MIT
- Created
- 2022
- Topics
- logictheorem-provingproof-assistantpython
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by philzook58
All 3 repos by philzook58- philzook58/awesome-egraphsStars: 377Alpha
- philzook58/z3_tutorialStars: 171Jupyter NotebookPrototype
Nearby in Python
All Python repos- binbingwu/Multi-Agent-Game-LocalizerStars: 180PythonPrototype
- Simreal-AI/future-prediction-benchStars: 180PythonPrototype
- PandaSI-Labs/pandasi-agentStars: 180PythonPrototype
- fedora-infra/bodhiStars: 180PythonPrototype
- gaphor/gaphasStars: 180PythonPrototype
- coleifer/ircStars: 180PythonPrototype