TY  - RPRT
TI  - Vertex Operator Algebras in Lean: a formal library and its companion book
AU  - Fedor K. Popov
AU  - Leonardo Rastelli
PY  - 2026
UR  - https://arxiv.org/abs/2611.06616
ID  - 2611.06616
ER  -