PrototypeCommune
seL4/isabelle
git mirror of the Munich isabelle hg repository
- Propriétaire
- seL4 (organisation)
- Étoiles
- Étoiles : 143
- Forks
- Forks : 43
- Langage
- Isabelle
- Licence
- Aucune
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) 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/l4vÉtoiles : 657IsabelleAlpha
- seL4/rust-sel4Étoiles : 221RustPrototype
- seL4/microkitÉtoiles : 213RustPrototype
D’autres dépôts Isabelle
Tous les dépôts Isabelle- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype
- awslabs/AutoCorrodeÉtoiles : 114IsabellePrototype
- isabelle-prover/mirror-isabelleÉtoiles : 101IsabellePrototype
- diekmann/Iptables_SemanticsÉtoiles : 100IsabellePrototype