Minor fixes - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Closed pcarrott closed 12 months ago

pcarrott commented 12 months ago

Proof, Proof with ..., Proof using ... no longer recognized as terms.
Proofs for section-local terms are recognized by ProofFile (section-local terms are still not recognized as terms).