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

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