Pinned Loading

1. mirror-isabelle mirror-isabelle Public

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

   Isabelle 79 16

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

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

   Isabelle 7 4

3. isabelle-linter isabelle-linter Public

   Linter component for Isabelle.

   Scala 20 3

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

   Scala 5 1