Skip to content

E4a: counterexamples after a loop noted, and confirmed by unrolling - #94

Merged
SwayamInSync merged 15 commits into
mainfrom
fix/inductive-counterexamples
Oct 28, 2026
Merged

E4a: counterexamples after a loop noted, and confirmed by unrolling#94
SwayamInSync merged 15 commits into
mainfrom
fix/inductive-counterexamples

Merge main into fix/inductive-counterexamples.

ff671bd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar