Los Angeles Math Circle

4/19/2020 -- Advanced 1B: Formal Proofs III

We are finishing the handout on writing formal and rigorous proofs.