関数型言語ML (SML, OCaml, etc.), Part 6

関数型言語ML (SML, OCaml, etc.), Part 6at TECH

関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch613:デフォルトの名無しさん
13/07/23 NY:AN:NY.AN .net
そういえば、Coqスレ昔あったけど今はないのか。
定理証明支援のスレのないのかな？
Coqスレ
ｽﾚﾘﾝｸ(tech板)