Graph explorer Paper
Around Formalizing building-up constructions of self-dual codes through isotropic lines in Lean
Every recorded relation of Formalizing building-up constructions of self-dual codes through isotropic lines in Lean and of its neighbours, coloured by entity type. Click a node to open it.
0 of the edges connect neighbours to each other (second order).
Direct relations, as a list
- Authors 2
- ResearcherJae-Hyun BaekResearcherJon-Lark Kim