Skip to content

lean-mode: use stage0 in Init/ - #47

Closed
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:modular-staging
Closed

lean-mode: use stage0 in Init/#47
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:modular-staging

feat: add bin/lean_wrapped helper script that chooses the right stage…

5e0f47d
Select commit
Loading
Failed to load commit list.

There are no checks for this commit