Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

isabelle-prover/mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

Owner: isabelle-prover (organization)
Stars: Stars: 102
Forks: Forks: 27
Language: Isabelle
License: None
Created: 2017
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Isabelle

All Isabelle repos

marlowe-lang/marloweStars: 174IsabellePrototype
seL4/isabelleStars: 143IsabellePrototype
awslabs/AutoCorrodeStars: 114IsabellePrototype
diekmann/Iptables_SemanticsStars: 100IsabellePrototype