PrototypeCommon
jsiek/deduce
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
- Owner
- jsiek (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 13
- Language
- Python
- License
- BSL-1.0
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- yuzushi-dev/hermes-seoStars: 125PythonPrototype
- sanjayadanushka712/Dracula-DeepStars: 125PythonPrototype
- GuoZheng-de-BaBa/nursing-research-skillsStars: 125PythonPrototype
- dokterbob/django-agendaStars: 125PythonPrototype
- garethr/django-project-templatesStars: 125PythonPrototype
- jezdez/django-staticfilesStars: 125PythonPrototype