/coc-isabelle

Because PIDE is not my editor.

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers