Pinned Loading

1. mirror-isabelle mirror-isabelle Public

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

   Isabelle 81 17

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