Add Web-Based Proof Visualizer#134

Rakshitha-Ireddi wants to merge 1 commit intoboyland:masterboyland/sasylf:masterfrom

Rakshitha-Ireddi:feature/proof-visualizerRakshitha-Ireddi/sasylf:feature/proof-visualizerCopy head branch name to clipboard