search

the-lambda-church / coquille

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

Deprecate this repo? #77

Open XVilka opened 5 years ago

XVilka commented 5 years ago

I can see https://framagit.org/tyreunom/coquille which supports NeoVim and asynchronous, which is obviously better. Maybe it makes sense to archive this one and provide a link?

jacobmischka commented 4 years ago

It would be nice to provide a link to it, this project seems to have more Google visibility and I wouldn't have known about the updated Neovim project were it not for this comment. Thanks!