LSP: Show proved/pending/failed step count in the decorator comment of a structured proof step. - Githubissues

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

65 stars 20 forks source link

LSP: Show proved/pending/failed step count in the decorator comment of a structured proof step. #113

Closed kape1395 closed 8 months ago

kape1395 commented 8 months ago

That's in https://github.com/tlaplus/tlapm/pull/93

kape1395 commented 8 months ago

Is now shown in the proof step details view.