サクサク読めて、アプリ限定の機能も多数！
取り敢えずメモ。coqもそのうちやりたいな
r_irie のブックマーク 2012/01/10 14:26
このブックマークにはスターがありません。 最初のスターをつけてみよう！
yosh.hateblo.jp2010/03/14
（＊＊ Remark 今回はZArithモジュールを使うよ。 Require Import ZArith. をタイプしてね。 ＊） 導入 Coqでは、整数全体の型はZで表され、次のように定義されている。 Coq < Print Z. Inductive Z : Set := Z0 ...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
取り敢えずメモ。coqもそのうちやりたいな
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ポジティブ型とマイポジティブ型 - にわとり小屋でのプログラミング
（＊＊ Remark 今回はZArithモジュールを使うよ。 Require Import ZArith. をタイプしてね。 ＊） 導入 Coqでは、整数全体の型はZで表され、次のように定義されている。 Coq < Print Z. Inductive Z : Set := Z0 ...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／