There are boardgames out there based on mathematical statements. Others have mechanism strongly tied to math or theoretical computer science.
Here are some:
- Dobble
- Set
- Can't stop
- Einsteins Insel
- Switch and Signal
- Kingdomino (which is NP-hard!!)
- Robo Turtles
Which ones do you know?