Ignore all proofs and terms defined inside a Module Type - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Ignore all proofs and terms defined inside a Module Type #8

Closed pcarrott closed 1 year ago