coqは、今井宜洋 @yoshihiro503 さんから教わった。 Proof Cafeという名古屋の勉強会を主催されていた。 http://proofcafe.org/wiki/ ACM Software System Award 2013 - Coq https://w...