[ add ] clean version of `Data.Fin.Properties.searchMinimalCounterexample`#2801

Merged

jamesmckinna merged 9 commits intoagda:masterfrom

jamesmckinna:minimalCounterexample

Oct 28, 2025

Commits on Aug 2, 2025

[ add ] clean version of `Data.Fin.Properties.searchMinimalCounterexample`
jamesmckinna
committed

Commits on Aug 5, 2025

use: `Π[_]` syntax
jamesmckinna
committed

Commits on Oct 4, 2025

Commits on Oct 25, 2025

Commits on Oct 26, 2025