Interactive theorem proving with Coq in vim.
Primary LanguageVim ScriptISC LicenseISC
No one’s star this repository yet.