PrototypeCommon
jonleivent/mindless-coding
Mindless, verified (erasably) coding using dependent types
- Owner
- jonleivent (personal account)
- Stars
- Stars: 104
- Forks
- Forks: 4
- Language
- Coq
- License
- MIT
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- verse-lab/toychainStars: 113CoqPrototype
- clarus/falsoStars: 105CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype
- DistributedComponents/diselStars: 103CoqPrototype
- amintimany/CategoriesStars: 101CoqPrototype