PrototypeCommon
clarus/falso
A proof of false in Coq.
- Owner
- clarus (personal account)
- Stars
- Stars: 105
- Forks
- Forks: 1
- 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/coq-chick-blogStars: 181CoqPrototype
Nearby in Coq
All Coq repos- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- inQWIRE/QWIREStars: 113CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype
- DistributedComponents/diselStars: 103CoqPrototype