1. Affeldt, R., Garrigue, J.: Formalization of error-correcting codes: from Hamming to modern coding theory. In: 6th Conference on Interactive Theorem Proving (ITP 2015), Lecture Notes in Computer Science, vol. 9236, pp. 17–33. Springer, Nanjing, China, August 24–27 (2015)
2. Affeldt, R., Hagiwara, M., Sénizergues, J.: Formalization of Shannon’s theorems. J. Autom. Reason. 53(1), 63–103 (2014)
3. Affeldt, R., Garrigue, J., Saikawa, T.: Formalization of Reed–Solomon codes and progress report on formalization of LDPC codes. In: International Symposium on Information Theory and its Applications (ISITA 2016), pp. 537–541. IEICE, IEEE Xplore, Monterey, California, USA, October 30–November 2 (2016)
4. Affeldt, R., Garrigue, J., Saikawa, T.: Reasoning with conditional probabilities and joint distributions in Coq. In: 21st Workshop on Programming and Programming Languages (PPL2019). Japan Society for Software Science and Technology, Iwate-ken, Hanamaki-shi, March 6–8 (2019)
5. Asai, T.: The SSReflect extension of the Coq proof-assistant and its application. Master’s thesis, Graduate School of Mathematics, Nagoya University (2014). (in Japanese)