search

the-lambda-church / coquille

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

A few useful patches for coq 8.12. #81

Closed scylaac closed 4 years ago