ひとり勉強会

ひとり楽しく勉強会

2010-10-01から1ヶ月間の記事一覧

Coqの入門記事を書く会 (4)

Coq

今回は、入門記事書きはちょっと休憩して、Coqの解説記事などを集める会です。 英語 言語そのものを浅く/深く眺めていく、という方向のテキスト3つ: Coq in a Hurry 「忙しい人のためのCoq入門」。比較的よくまとまっている気がしました。 Coq Proof Assis…