search

sr-lab / coqpyt

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

Add support for all Theorem tokens #7

Closed Nfsaavedra closed 1 year ago

Nfsaavedra commented 1 year ago

Fix handling of bullets and add test for bullets Support obligations