Los Angeles Math Circle

11/10/2019 -- Advanced 2A: Formal Proof Writing II

We work in groups to write rigorous proofs of statements from number theory, graph theory, combinatorics, set theory and other topics.