【Coq】コンピューターで証明しよう【コック】©2ch.net

[0086 １３２人目の素数さん 2015/02/06(金) 10:38:19.60 ID:p5z+W0p1]

CICのnormalization theoremを証明してあるわかりやすい文献教えてくらはい、えらいひと。