feat(visualizer): offline HTML proof-status report (VOKF-8 / M1)#4

aggre merged 1 commit into

mainlemmaoracle/verifiable-okf:mainfrom

m1/visualizerlemmaoracle/verifiable-okf:m1/visualizerCopy head branch name to clipboard