PrototypeCommon
seL4/isabelle
git mirror of the Munich isabelle hg repository
- Owner
- seL4 (organization)
- Stars
- Stars: 143
- Forks
- Forks: 43
- Language
- Isabelle
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by seL4
All 5 repos by seL4- seL4/seL4Stars: 5,849CStable
- seL4/l4vStars: 659IsabelleAlpha
- seL4/rust-sel4Stars: 222RustPrototype
- seL4/microkitStars: 213RustPrototype
Nearby in Isabelle
All Isabelle repos- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype
- awslabs/AutoCorrodeStars: 114IsabellePrototype
- isabelle-prover/mirror-isabelleStars: 101IsabellePrototype
- diekmann/Iptables_SemanticsStars: 100IsabellePrototype