Handle nested proofs, proofs that don't end and bug fixes - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Handle nested proofs, proofs that don't end and bug fixes #6

Closed Nfsaavedra closed 1 year ago