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

---

659:デフォルトの名無しさん
13/09/11 18:00:49.24 .net
URLﾘﾝｸ(www.cis.upenn.edu)
URLﾘﾝｸ(proofcafe.org)
Coq自身はしらんが
Coqの元のOCamlの正しさは証明されてるっぽい

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch