the-lambda-church / coquille

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

Python 2.x hard dependency #60

Closed carlpaten closed 3 years ago

carlpaten commented 7 years ago

I had to work this out for myself, so I thought I'd document it.

XVilka commented 5 years ago

Should be closed now I guess? Since Python 2 will die a few months already.