hparshall

Western Washington UniversityBellingham, WA

Pinned Repositories

paulsen-made-simple
Language:Lean0 1 00
lean-matrix-analysis
Language:Lean0 1 00
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362299
calculus
Language:TeX136 21 644413
server
Language:JavaScript58 12 60232
ximeraLatex
Author tools for creating Ximera activities
Language:TeX40 20 7435