PrototypeCommune
jsiek/deduce
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
- Propriétaire
- jsiek (compte personnel)
- Étoiles
- Étoiles : 125
- Forks
- Forks : 13
- Langage
- Python
- Licence
- BSL-1.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- gandi0/windows-kamaclaudeÉtoiles : 125PythonPrototype
- FinSectech-lab/finsetÉtoiles : 125PythonPrototype
- jochenhammes/esp32-sdr-trxÉtoiles : 125PythonPrototype
- dokterbob/django-agendaÉtoiles : 125PythonPrototype
- garethr/django-project-templatesÉtoiles : 125PythonPrototype
- jezdez/django-staticfilesÉtoiles : 125PythonPrototype