UCLA Olga Radko Endowed Math Circle

5/5/2024 -- Advanced 2: [ONLINE] The natural number game

Today, we'll play with the LEAN proof assistant.


[Edit]