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