Pinned Repositories
paulsen-made-simple
lean-matrix-analysis
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
calculus
server
ximeraLatex
Author tools for creating Ximera activities
Lean 3's obsolete mathematical components library: please use mathlib4
Author tools for creating Ximera activities