Feature request: Python3 support

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Open carlpaten opened 7 years ago

carlpaten commented 7 years ago

Ubuntu hasn't shipped Vim with +python since 16.04. It'd be nice to have +python3 support in coquille.

carlpaten commented 7 years ago

I've created a partial port at lilred/coquille. Pull requests welcome.

Known issues:

Vim hangs on moderately large multi-file programs. (Seen in the Induction.v chapter of Software Foundations.)

bluelightning32 commented 7 years ago