search

sr-lab / coqpyt

Python client for coq-lsp
MIT License
25 stars 3 forks source link

Support versions prior to 8.18 and refactor directory structure #19

Closed pcarrott closed 1 year ago

pcarrott commented 1 year ago

Closes #12