Pinned Loading

1. mirror-isabelle mirror-isabelle Public

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

   Isabelle 72 16

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

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

   Isabelle 5 4

3. isabelle-linter isabelle-linter Public

   Linter component for Isabelle.

   Scala 19 3

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

   Scala 3 1