/coquille

Interactive theorem proving with Coq in vim.

Primary LanguageVim scriptISC LicenseISC

Stargazers