Mining counterexamples for wide-signature algebras with an Isabelle server

Wesley Fussner, Boris Shminke

We propose an approach for searching for counterexamples of statements about algebraic structures with a medium-sized signature using the Isabelle proof assistant in an efficient,…