PROOF100

Teaches first-years how to write a rigorous proof and think like a computer scientist. Taught by AUB students, run with the AUB Math Society. Ends with an exam and a certificate.

The club contributes session leads and the cryptographic examples that motivate the number theory.