PrototypeCommune
ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
- Propriétaire
- ilyasergey (compte personnel)
- Étoiles
- Étoiles : 178
- Forks
- Forks : 19
- Langage
- Coq
- Licence
- BSD-2-Clause
- Création
- 2014
- Sujets
- coqhoare-logicdependent-typestutorialssreflectmathcomp
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Coq
Tous les dépôts Coq- barry-jay-personal/tree-calculusÉtoiles : 206CoqPrototype
- uwplse/verdi-raftÉtoiles : 204CoqPrototype
- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
- jwiegley/coq-haskellÉtoiles : 171CoqPrototype
- accordproject/ergoÉtoiles : 171CoqPrototype
- discus-lang/ironÉtoiles : 145CoqPrototype