PrototypeCommon
au-ts/cogent
Cogent Project
- Owner
- au-ts (organization)
- Stars
- Stars: 184
- Forks
- Forks: 28
- Language
- Isabelle
- License
- None
- Created
- 2016
- Topics
- file-systemsverificationprogramming-languagesisabelle-holco-generation
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by au-ts
All 2 repos by au-ts- au-ts/lionsosStars: 284CAlpha
Nearby in Isabelle
All Isabelle repos- seL4/l4vStars: 659IsabelleAlpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype
- seL4/isabelleStars: 143IsabellePrototype
- awslabs/AutoCorrodeStars: 114IsabellePrototype