@misc{indiciaebf20941f7356,
  title = {Formalizing Geometric Algebra in Lean},
  author = {Eric Wieser and Utensil Song},
  year = {2022},
  doi = {10.1007/s00006-021-01164-1},
  url = {https://arxiv.org/abs/2110.03551},
  note = {Source identifier: 2110.03551}
}