PrototypeCommune
discus-lang/iron
Coq formalizations of functional languages.
- Propriétaire
- discus-lang (organisation)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 8
- Langage
- Coq
- Licence
- Aucune
- Création
- 2013
- Sujets
- coqlambda-calculustheoryproofcoq-formalizations
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de discus-lang
Les 2 dépôts de discus-lang- discus-lang/ddcÉtoiles : 176HaskellPrototype
D’autres dépôts Coq
Tous les dépôts Coq- ilyasergey/pnpÉtoiles : 178CoqPrototype
- jwiegley/coq-haskellÉtoiles : 171CoqPrototype
- accordproject/ergoÉtoiles : 171CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype
- project-oak/silveroakÉtoiles : 133CoqPrototype