6 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Oliver Nash
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although b…