GitHub repository: kkytola/VirasoroProject
Primary language: Lean
Created: 2025-01-01T18:33:28Z
Description: Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)