Formalization of coding theory using lean

Manabu Hagiwara, Kyosuke Nakano, Justin Kong. Formalization of coding theory using lean. In 2016 International Symposium on Information Theory and Its Applications, ISITA 2016, Monterey, CA, USA, October 30 - November 2, 2016. pages 522-526, IEEE, 2016. [doi]

Abstract

Abstract is missing.