isabelle-prover / mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle
β˜†67Updated this week

Alternatives and similar repositories for mirror-isabelle:

Users that are interested in mirror-isabelle are comparing it to the libraries listed below