Improve information stored from the context - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Improve information stored from the context #5

Closed Nfsaavedra closed 1 year ago

Nfsaavedra commented 1 year ago

Changes the way the context is stored.
Implements the handling of "where" notations.
Fixes some bugs.