Proof visualizer - #132

Open

SteveFreecastler wants to merge 3 commits into

ultimate-pa:masterfrom

SteveFreecastler:proof_visualizer

Commits on Jan 23, 2022

proof visualizer / proof tree with proof text samples to test it. Manual is in the README.md
SteveFreecastler
committed

Commits on Jan 25, 2022

English header
SteveFreecastler
committed

Commits on Feb 13, 2022

Pivots will only be shown if available. @lemma, @clause and inner node literals will be shown in different colours
SteveFreecastler
committed