Skip to content

verify: Replay a Lean project into one kernel environment, importing the toolchain once - #63

Merged
SwayamInSync merged 10 commits into
mainfrom
fix/lean-certifier-memory
Oct 24, 2026
Merged

verify: Replay a Lean project into one kernel environment, importing the toolchain once#63
SwayamInSync merged 10 commits into
mainfrom
fix/lean-certifier-memory

docs: Describe the checker's single kernel environment and its memory…

c55de5b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar