Skip to content

Add a lean_kernel option to skip the builtin kernel replay - #96

Closed
mt0-svg wants to merge 1 commit into
leanprover:masterfrom
mt0-svg:lean-kernel-option
Closed

Add a lean_kernel option to skip the builtin kernel replay#96
mt0-svg wants to merge 1 commit into
leanprover:masterfrom
mt0-svg:lean-kernel-option

Commits

  1. Commits on Oct 1, 2026