Isabelle GitHub repos
9 Isabelle repos in the catalog, most starred first.
- seL4/l4vStars: 656IsabelleAlpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype
- seL4/isabelleStars: 143IsabellePrototype
- awslabs/AutoCorrodeStars: 113IsabellePrototype
- isabelle-prover/mirror-isabelleStars: 101IsabellePrototype
- diekmann/Iptables_SemanticsStars: 100IsabellePrototype