the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
185Updated 4 years ago

Alternatives and similar repositories for coquille:

Users that are interested in coquille are comparing it to the libraries listed below