Tired of playing chess with the same old rules? You can play chess with different rules instead! Make pieces explode in atomic chess (don't blow up your king), or conjure pieces from the future in time travel chess (just make sure you don't break the timeline), or try any of dozens of other crazy and slightly less crazy variants!

Do you like proofs? Do you like code? Do you like games? Do you want to create the natural numbers from scratch? If your answer to any (or all) of these were yes, then this class is for you! Join us to play a game where we write code to prove facts about natural numbers from the ground up!