初めて学ぶCoqツッコミは随時歓迎 コメントも歓迎 Coqを三行で Coqはプログラミング言語(関数型言語) Coqは仕様を書いて証明できる言語 つまり仕様が証明されたプログラミングがかける Coqはプログラミング言語 たとえばこんなん Fixpoint map{A B:Type}(f: A->B)(xs: list A):= match xs with | [] => [] | x :: xs => f x :: map f xs end.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
