Partial handling of aborted proofs - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Partial handling of aborted proofs #56

Closed pcarrott closed 2 weeks ago

pcarrott commented 2 weeks ago

Abort commands are now recognized by CoqPyt as proof-ending commands.