Popular repositories Loading

1. math2001 math2001 Public

   Forked from hrmacbeth/math2001

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant - Scott Vaughen's copy

   HTML

2. RK4-Systems RK4-Systems Public

   Python

3. MAT211-HW-LaTeX MAT211-HW-LaTeX Public

   TeX

4. cellular-automata cellular-automata Public

   Python

5. mat211-lean-base mat211-lean-base Public template

   lean course copied from Heather Macbeth MATH2001 for use in MAT 211 at MCCC

   HTML

6. mathemalchemy-docent-guide mathemalchemy-docent-guide Public

   Unofficial docent companion guide for the Mathemalchemy math-art installation (ICM 2026 / MCCC)

   TypeScript