Update README to add logo, UML and more examples - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Update README to add logo, UML and more examples #43

Closed Nfsaavedra closed 6 months ago

Nfsaavedra commented 6 months ago

It also changes the CoqAddStep and CoqDeleteStep to CoqAdd and CoqDelete.