数学基礎論・数理論理学のスレッド　その7at MATH

---

36:１３２人目の素数さん
10/11/13 19:43:32
Coq URLﾘﾝｸ(coq.inria.fr) などのアプローチは
>>34 に該当するだろうか
ライブラリには derivative の文字も見えるが

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch