サクサク読めて、アプリ限定の機能も多数！
なぜかubuntu firefoxで読めぬ。chromiumで読めた。
morita_non のブックマーク 2014/07/13 22:34
このブックマークにはスターがありません。 最初のスターをつけてみよう！
proofcafe.org/~yoshihiro5032014/04/26
結論 最強のプログラム検証器 最強の関数型言語 最強のプログラム検証器 Coqは最強の表現力を持つ仕様記述言語を使う 仕様記述言語は検証したいこと を記述するための言語 表現力は検証器によって全然違う 表現で...
47 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／
なぜかubuntu firefoxで読めぬ。chromiumで読めた。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
なぜCoqが重要か
結論 最強のプログラム検証器 最強の関数型言語 最強のプログラム検証器 Coqは最強の表現力を持つ仕様記述言語を使う 仕様記述言語は検証したいこと を記述するための言語 表現力は検証器によって全然違う 表現で...
47 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／