Popular repositories Loading

1. isabelle-emacs isabelle-emacs Public

   Clone of isabelle, with LSP extensions in seperate branches

   Isabelle 25 5

2. isar-mode isar-mode Public

   Forked from agomezl/simp-isar-mode

   A simple emacs mode for Isabelle (.thy) files

   Emacs Lisp 4 1

3. m-fleury.github.io m-fleury.github.io Public

   HTML 2

4. cryptominisat cryptominisat Public

   Forked from msoos/cryptominisat

   An advanced SAT solver

   C++ 1

5. glucose glucose Public

   Forked from audemard/glucose

   The glucose SAT solver

   C++ 1

6. isabelle-snippets isabelle-snippets Public archive

   Snippets for Isabelle/VSCode

   Perl