• Explore mathematics via computer programming.
  • Examine the philosophical foundations of mathematics.
  • Understand proofs better.
  • Have fun with great puzzles!


  • Come to our weekly meetings.
  • Join our Zulip chat.
  • Play the Natural Number Game.
  • Hone your skills with some suitable tutorials.
  • Formalize your favorite math!

Some learning resources are described in more detail in the blog post First steps.

  • No labels