search

the-lambda-church / coquille

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

Python 3 support #80

Open XVilka opened 5 years ago

XVilka commented 5 years ago

Python 2 will be EOL in a few months. Please check this PR and consider for merging.