VirasoroProject0.1.0
Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)
Sort by
Require Order
doc-gen4
a51ba66
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
29654d4
The math library of Lean 4