Skip to content

verify: Confirm certified counterexamples in Lean, and make the gate's Lean row decisive - #68

Merged
SwayamInSync merged 171 commits into
mainfrom
fix/lean-refutations
Oct 24, 2026
Merged

verify: Confirm certified counterexamples in Lean, and make the gate's Lean row decisive#68
SwayamInSync merged 171 commits into
mainfrom
fix/lean-refutations

test: Check that replaying an archive reports a failed Lean certifica…

a3fa00e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar