Why?

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

How?

  • 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.

The foralli blog

Blog Posts

  • No labels