Skip to content

fix: replay kernel primitives before the rest of the solution - #98

Open
fushanbobfan wants to merge 1 commit into
leanprover:masterfrom
fushanbobfan:fix/replay-primitives-first
Open

fix: replay kernel primitives before the rest of the solution#98
fushanbobfan wants to merge 1 commit into
leanprover:masterfrom
fushanbobfan:fix/replay-primitives-first

fix: replay kernel primitives before the rest of the solution

16d4a74
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs