We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Git mirror of https://isabelle.in.tum.de/repos/isabelle
Isabelle 54 12
Git mirror of https://foss.heptapod.net/isa-afp/afp-devel
Isabelle 4 3
Linter component for Isabelle.
Scala 16 2
Scala 1
Public archive of the Isabelle Zulip isabelle.zulipchat.com
Git mirror of https://foss.heptapod.net/isa-afp/afp-2023
A collection of useful tips/tricks/hints for Isabelle users.
Go Code Generation for Isabelle
Isabelle CI infrastructure
"proving-contest"-backends for several theorem provers
Loading…