the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

Typo #32

Closed nadimkobeissi closed 9 years ago