Skip to content

feat: allow metas in intermediate tc answers - #63

Closed
dselsam wants to merge 2 commits into
leanprover:masterfrom
dselsam:tc_answers_metas
Closed

feat: allow metas in intermediate tc answers#63
dselsam wants to merge 2 commits into
leanprover:masterfrom
dselsam:tc_answers_metas

feat: fresh contexts for each new subgoal

c5ddaa2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs