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

[0133 １３２人目の素数さん 2015/04/29(水) 21:07:39.24 ID:DcI2ISH9]

Coqで作られたCコンパイラがあるそうですが、
詳しいことがわかるURLないでしょうか。