Styled output and collapsible command boxes in web app - #47

Styled output and collapsible command boxes in web app#47

aseemrb merged 2 commits into

Walnut-Theorem-Prover:mainWalnut-Theorem-Prover/Walnut:mainfrom

aseemrb:mainaseemrb/Walnut:mainCopy head branch name to clipboard