A Lean 4 Verification Report for Subregular Affine Cells and the Level $-1$ Vertex Algebra of Type $D$ | Digital Library | PAMCET | PAMCET