Skip to main content

Loading AI Digest

Bite-sized AI for curious minds...

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean | AI Digest | AI Digest