Popular repositories Loading

1. pmath347-lecture-notes pmath347-lecture-notes Public

   Lecture notes from the fall 2023 offering of Groups and Rings (PMATH347) at the University of Waterloo given by Dr. Yu-Ru Liu.

   TeX

2. pmath348-lecture-notes pmath348-lecture-notes Public

   Lecture notes from the winter 2024 offering of Fields and Galois Theory (PMATH348) at the University of Waterloo given by Dr. Yu-Ru Liu.

   TeX

3. latex-templates latex-templates Public

   Some templates and source code I wrote for typesetting assignments and course notes in latex

   TeX

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean