	Info About ORMC Directions History Leadership Mathematics competitions Olga Radko: In Memoriam Opportunities for UCLA students ORMC Projects Our books People Student Research Admission Apply to ORMC MyCircle login ORMC Entry Points Circle Rules Contact us Meetings Current Year Previous Years F.A.Q. Support us Site search: ✎
	5/5/2024 -- Advanced 2: [ONLINE] The natural number game Today, we'll play with the LEAN proof assistant.