{"id":"2604.08485","title":"Formalizing building-up constructions of self-dual codes through isotropic lines in Lean","url":"https://codeofpaper.com/paper/2604.08485","arxiv_url":"https://arxiv.org/abs/2604.08485","published":"2026-04-09","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}