Skip to content

Commit 31e9b8b

Browse files
committed
chore: complete migration of tagged theorems for the proof search
1 parent cc899b2 commit 31e9b8b

File tree

1 file changed

+746
-137
lines changed

1 file changed

+746
-137
lines changed

0 commit comments

Comments
 (0)