This page contains formal and informal maths material created by me and others. Please enjoy.
research paper authored by myself and fellow math undergrad, Noah Baddour, under the tutelage of grad student Sasha Bell.
algebra 3 assignments these may be partially incorrect/incomplete.
algebra 4 assignments again, these may be partially incorrect/incomplete.
presentation for COMP532: Propositional Proof Complexity.
Abstract Algebra, 3rd Edition, David S. Dummit, Richard M. Foote.
Introductory paper on Lean (proof verifier.)
paper on dihedral groups.
set of proofs showing that the rational numbers are dense in the real numbers.
