Dépôts Isabelle
9 dépôts Isabelle au catalogue, du plus étoilé au moins étoilé.
- seL4/l4vÉtoiles : 656IsabelleAlpha
- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
- awslabs/AutoCorrodeÉtoiles : 113IsabellePrototype
- isabelle-prover/mirror-isabelleÉtoiles : 101IsabellePrototype
- diekmann/Iptables_SemanticsÉtoiles : 100IsabellePrototype