Enhance POG view UI to display extra PO information

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support

GNU General Public License v3.0

21 stars 6 forks source link

Open jolnd opened 10 months ago

jolnd commented 10 months ago

Including showing proof strategy, counterexamples, witnesses, messages.