Formalization of coding theory using lean.

Manabu Hagiwara, Kyosuke Nakano, Justin Kong

Browse the full ISITA paper archive.