AlphaPeu commune
seL4/l4v
seL4 specification and proofs
- Propriétaire
- seL4 (organisation)
- Étoiles
- Étoiles : 657
- Forks
- Forks : 130
- Langage
- Isabelle
- Licence
- Aucune
- Création
- 2014
- Sujets
- isabellesel4-proofsproofformalisationsel4-microkernel
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de seL4
Les 5 dépôts de seL4- seL4/seL4Étoiles : 5 848CStable
- seL4/rust-sel4Étoiles : 221RustPrototype
- seL4/microkitÉtoiles : 213RustPrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
D’autres dépôts Isabelle
Tous les dépôts Isabelle- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype