Pinned Loading

1. isabelle-benchmark isabelle-benchmark Public

   Isabelle user benchmark.

   TeX 4 1

2. qaware/findfacts qaware/findfacts Public

   Project to make isabelle and the AFP easily searchable.

   Scala 9 1

3. isabelle-prover/isabelle-linter isabelle-prover/isabelle-linter Public

   Linter component for Isabelle.

   Scala 20 3