Skip to content

Lean verification: prove 164 more functions and fix the kernel bugs the proofs found - #591

Merged
eKisNonos merged 48 commits into
mainfrom
lean/substantive
Sep 30, 2026
Merged

Lean verification: prove 164 more functions and fix the kernel bugs the proofs found#591
eKisNonos merged 48 commits into
mainfrom
lean/substantive

kernel_proofs: an RSDP declaring more than 36 bytes is refused

175d2e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar