feat: run Errata tests interactively in a widget - #959

feat: run Errata tests interactively in a widget#959

david-christiansen wants to merge 4 commits into

test-framework-2leanprover/verso:test-framework-2from

test-framework-3leanprover/verso:test-framework-3Copy head branch name to clipboard