AlphaUncommon
seL4/l4v
seL4 specification and proofs
- Owner
- seL4 (organization)
- Stars
- Stars: 659
- Forks
- Forks: 130
- Language
- Isabelle
- License
- None
- Created
- 2014
- Topics
- isabellesel4-proofsproofformalisationsel4-microkernel
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by seL4
All 5 repos by seL4- seL4/seL4Stars: 5,849CStable
- seL4/rust-sel4Stars: 222RustPrototype
- seL4/microkitStars: 213RustPrototype
- seL4/isabelleStars: 143IsabellePrototype
Nearby in Isabelle
All Isabelle repos- pirapira/eth-isabelleStars: 245IsabellePrototype
- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype