mathlib

72e4cca4 - ci(.github/workflows/build.yml): check counterexamples (#7618)

ci(.github/workflows/build.yml): check counterexamples (#7618) I meant to add this to #7553 but I forgot before it got merged. This also moves the contents of `src/counterexamples` to `counterexamples/`.