PrototypeCommune
jonsterling/JonPRL
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
- Propriétaire
- jonsterling (compte personnel)
- Étoiles
- Étoiles : 109
- Forks
- Forks : 8
- Langage
- Standard ML
- Licence
- MIT
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de jonsterling
Les 2 dépôts de jonsterling- jonsterling/AquaUIÉtoiles : 155SwiftPrototype
D’autres dépôts Standard ML
Tous les dépôts Standard ML- pq-code-package/mldsa-nativeÉtoiles : 117Standard MLPrototype
- eirslett/package-trustÉtoiles : 114Standard MLPrototype
- mossdef-org/ipk.mossdef.orgÉtoiles : 113Standard MLPrototype
- PSPReverse/amd-sp-glitchÉtoiles : 108Standard MLPrototype
- sunchao/tigerÉtoiles : 105Standard MLPrototype
- UBMLtonGroup/RTMLtonÉtoiles : 100Standard MLPrototype