PrototypeCommon
ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
- Owner
- ilyasergey (personal account)
- Stars
- Stars: 178
- Forks
- Forks: 19
- Language
- Coq
- License
- BSD-2-Clause
- Created
- 2014
- Topics
- coqhoare-logicdependent-typestutorialssreflectmathcomp
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- barry-jay-personal/tree-calculusStars: 207CoqPrototype
- uwplse/verdi-raftStars: 204CoqPrototype
- clarus/coq-chick-blogStars: 181CoqPrototype
- jwiegley/coq-haskellStars: 171CoqPrototype
- accordproject/ergoStars: 171CoqPrototype
- discus-lang/ironStars: 145CoqPrototype