67 citations · 147 across the 8 of their papers we have counts for
1 paper · 1 filter
Kalle Kytölä
We formalize in Lean certain calculational proofs about infinite-dimensional Lie algebras. Specifically, we construct the Virasoro algebra as a central extension of the Witt algebr…