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

Commits

  1. Commits on Oct 5, 2026