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