proof-game Can mathematical proof be turned into a puzzle game? This project is still in development, but you can try it here. Partially inspired by The Incredible Proof Machine.