@misc{indiciae138f6c1be039,
  title = {Teaching Linear Algebra in a Mechanized Mathematical Environment},
  author = {Robert M. Corless and David J. Jeffrey and Azar Shakoori},
  year = {2023},
  url = {https://arxiv.org/abs/2306.00104},
  note = {Source identifier: 2306.00104}
}