isabelle-prover / mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle
64Updated this week

Related projects

Alternatives and complementary repositories for mirror-isabelle