Add interface to directly change the steps of a proof - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Add interface to directly change the steps of a proof #36

Closed Nfsaavedra closed 9 months ago