Los Angeles Math Circle

11/3/2019 -- Advanced 2A: Formal Proof Writing

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