Formalization of coding theory using lean. - Manabu Hagiwara; Kyosuke Nakano; Justin Kong 002 (ISITA, 2016)

Formalization of binary symmetric erasure channel based on infotheo. - Kyosuke Nakano; Manabu Hagiwara (ISITA, 2016)