Coq'Art読書会まとめWikiようこそ。
証明器Coqの解説書 Coq'Art を読む読書会です。主催者は証明器についてまったくの素人なので、 基本からしっかり勉強する読書会にしようと思っています。 「Coqって何？」という方は以下のリンクが参考になるかもしれません。
- プログラミング Coq http://www.iij-ii.co.jp/lab/techdoc/coqt/
- ソフトウェアの基礎 1.0.2 http://proofcafe.org/sf-beta/
- Coq Tutorial at Proof Summit 2011 http://www.slideshare.net/tmiya/coq-tutorial-at-proof-summit-2011
このリポジトリは勉強会のWikiです。 主なコンテンツは以下のURLにまとまっています。
https://github.com/readcoqart/wiki/wiki
Wikiでは管理しにくい雑多なファイルは本リポジトリに置く予定です。