PrototypeCommon
clarus/coq-chick-blog
🐣 A blog engine written and proven in Coq
- Owner
- clarus (personal account)
- Stars
- Stars: 181
- Forks
- Forks: 9
- Language
- Coq
- License
- MIT
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by clarus
All 3 repos by clarus- clarus/redux-shipStars: 606JavaScriptAlpha
- clarus/falsoStars: 105CoqPrototype
Nearby in Coq
All Coq repos- jscert/jscertStars: 208CoqPrototype
- barry-jay-personal/tree-calculusStars: 207CoqPrototype
- uwplse/verdi-raftStars: 204CoqPrototype
- ilyasergey/pnpStars: 178CoqPrototype
- jwiegley/coq-haskellStars: 172CoqPrototype
- accordproject/ergoStars: 171CoqPrototype