PrototypeCommon
Ptival/PeaCoq
PeaCoq is a pretty Coq, isn't it?
- Owner
- Ptival (personal account)
- Stars
- Stars: 104
- Forks
- Forks: 10
- 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
- jonleivent/mindless-codingStars: 104CoqPrototype
- DistributedComponents/diselStars: 103CoqPrototype
- amintimany/CategoriesStars: 101CoqPrototype