TY  - RPRT
TI  - Teaching Linear Algebra in a Mechanized Mathematical Environment
AU  - Robert M. Corless
AU  - David J. Jeffrey
AU  - Azar Shakoori
PY  - 2023
UR  - https://arxiv.org/abs/2306.00104
ID  - 2306.00104
ER  -