τmain.tauto
Run to evaluate definitions.
Checking…
Place the cursor on a proof hole to inspect its context and goal.
Starting the Tauto workspace…
Starting the Tauto workspace…
Run to evaluate definitions.
Checking…
Place the cursor on a proof hole to inspect its context and goal.