PrototypeCommune
RedPRL/sml-redprl
The People's Refinement Logic
Archivé : ce dépôt n’évolue plus
- Propriétaire
- RedPRL (organisation)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 18
- Langage
- Standard ML
- Licence
- MIT
- Création
- 2016
- Sujets
- nuprlproof-assistanttype-theorycubical-type-theory
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de RedPRL
Les 3 dépôts de RedPRL- RedPRL/coolttÉtoiles : 251OCamlAlpha
- RedPRL/redttÉtoiles : 224OCamlPrototype
D’autres dépôts Standard ML
Tous les dépôts Standard ML- eudoxia0/interimÉtoiles : 282Standard MLAlpha
- smlnj/smlnjÉtoiles : 256Standard MLAlpha
- gamelinux/pradsÉtoiles : 249Standard MLPrototype
- melsman/apltailÉtoiles : 220Standard MLPrototype
- rootkovska/codehash.dbÉtoiles : 214Standard MLPrototype
- Ravenbrook/mlworksÉtoiles : 181Standard MLPrototype