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

Add a lean_kernel option to skip the builtin kernel replay

3dcb579
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs