the-lambda-church / coquille

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

Add requirement in readme #47

Closed Yoz0 closed 7 years ago

Yoz0 commented 7 years ago

Since coquille isn't compatible with Coq 8.4pl3, it could be nice to add to the readme the version required of coqtop & vim (+python).

trefis commented 7 years ago

The 8.4 tag should work fine with coq 8.4pl3

Yoz0 commented 7 years ago

Thank you, I didn't see the tag. Is the current version working with coq 8.5 or 8.6 ?

trefis commented 7 years ago

8.5, but "working" might be too strong a word.

BelegCuthalion commented 5 years ago

Well, it still would be great if you tell somewhere in the readme that it needs python