5 citations · 5 across the 1 of their papers we have counts for
1 paper
Eric Wieser, Utensil Song
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, ma…