coqは、今井宜洋　@yoshihiro503　さんから教わった。Proof Cafeという名古屋の勉強会を主催されていた。http://proofcafe.org/wiki/最近Youtub…