サクサク読めて、アプリ限定の機能も多数！
formal method][programming]Coqによるプログラムのformal reasoning.なぜ"reasoning"という言葉が使われているのだろう?
vanbraam のブックマーク 2016/09/03 12:10
このブックマークにはスターがありません。 最初のスターをつけてみよう！
adam.chlipala.net2016/09/03
This is the web site for the early stages of a book introducing both machine-checked proof with the Coq proof assistant and approaches to formal reasoning about program correctness. Grab a Draft So...
7 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
formal method][programming]Coqによるプログラムのformal reasoning.なぜ"reasoning"という言葉が使われているのだろう?
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Formal Reasoning About Programs
This is the web site for the early stages of a book introducing both machine-checked proof with the Coq proof assistant and approaches to formal reasoning about program correctness. Grab a Draft So...
7 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／