TY  - RPRT
TI  - Formalizing building-up constructions of self-dual codes through isotropic lines in Lean
AU  - Jae-Hyun Baek
AU  - Jon-Lark Kim
PY  - 2026
UR  - https://arxiv.org/abs/2604.08485
ID  - 2604.08485
ER  -