GitHub - momohatt/coquille: Interactive theorem proving with Coq in vim.

Interactive theorem proving with Coq in vim. Contribute to momohatt/coquille development by creating an account on GitHub.
github.com github.com