Interactive theorem proving with Coq in vim.
Primary LanguageVim ScriptISC LicenseISC
No issues in this repository yet.