m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
25Updated last week

Related projects

Alternatives and complementary repositories for isabelle-emacs