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