issues
search
sr-lab
/
coqpyt
Python client for coq-lsp
MIT License
25
stars
3
forks
source link
add error mode to proof file
#46
Closed
Nfsaavedra
closed
2 months ago