Skip to content

test(formal): add checked Lean core and pruning lemmas - #44

Draft
nichinichisou0609 wants to merge 2 commits into
mainfrom
formal/lean-core-20260929
Draft

test(formal): add checked Lean core and pruning lemmas#44
nichinichisou0609 wants to merge 2 commits into
mainfrom
formal/lean-core-20260929

test(formal): prove concrete power scenarios and shared thresholds

c2a680e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-proofs
succeeded Sep 29, 2026 in 2m 19s