Enviar aquest missatge de text: Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types