Viewing Discharged Proof Obligations in Toolbox

[abdallah kerim]

Hi everyone,

The Toolbox's "Interesting Obligations" view only seems to display proof obligations that are not discharged. Is there a way to view the exact  "ASSUME ... PROVE ..". obligations generated by TLAPM for proof steps that are successfully discharged as well?

Thanks in advance,

Abdallah

[Stephan Merz]

Unless there are volunteers, the Toolbox interface is no longer maintained. The functionality that you are requesting is available in the VSCode Extension for TLA+.

Stephan

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/307cffce-b049-47a4-96fc-be930ef91a41n%40googlegroups.com.

[abdallah kerim]

Thank you  Stephan