気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Certified Programming with Dependent Types
42 users
adam.chlipala.net
adam.chlipala.net
adam.chlipala.net
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
This is the web site for a textbook about practical engineering with the Coq proof assistant. The... This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
adam.chlipala.net
adam.chlipala.net
adam.chlipala.net
adam.chlipala.net
news.yahoo.co.jp
jp.quora.com
www.bengo4.com
news.denfaminicogamer.jp
qiita.com
zenn.dev/aeonpeople
qiita.com/lychee1223
www.oreilly.co.jp
zenn.dev/ubie_dev
forest.watch.impress.co.jp
gihyo.jp
tech.speee.jp
blog.livedoor.jp/bounenkai2009
cnn.co.jp
2014/11/11 リンク