Runner for tests/lean/interactive
server tests. Put here to avoid repeated elaboration overhead
per test.
Equations
- type : Widget.TaggedText SubexprInfo
Instances For
- type : Widget.TaggedText SubexprInfo
Instances For
Equations
- goals : Array InteractiveGoal
Instances For
Equations
Test-only instances