	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: ✎
	4/12/2020 -- Advanced 1B: Formal Proofs II We'll continue working on the handout on writing formal and rigorous proofs. Handouts: FormalProofs-2