Isabelle

Pinned Loading

1. mirror-isabelle mirror-isabelle Public

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

   Isabelle 100 27

2. mirror-afp-devel mirror-afp-devel Public

   Git mirror of https://foss.heptapod.net/isa-afp/afp-devel

   Isabelle 8 6

3. isabelle-linter isabelle-linter Public

   Linter component for Isabelle.

   Scala 23 6

4. isabelle-tools-collection isabelle-tools-collection Public

   Scala 5 1