@misc{indiciaeffaa7710b3e3,
  title = {Virasoro algebra and Sugawara constructions formally in Lean},
  author = {Kalle Kytölä},
  year = {2025},
  url = {https://arxiv.org/abs/2510.21741},
  note = {Source identifier: 2510.21741}
}