search

sr-lab / coqpyt

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

Add support for Coq 8.20 #53

Closed Nfsaavedra closed 2 weeks ago