サクサク読めて、アプリ限定の機能も多数!
形式的な証明法、ツールを数学的問題に応用した論文集の紹介。証明の例とツールの基本的紹介もあるらしい
kgbu のブックマーク 2008/12/05 23:30
AMS: A Special Issue on Formal Proof | Lambda the Ultimate[あとで読む][いまさら訊けない][証明][tool][programming-functional][まとめ][coq]形式的な証明法、ツールを数学的問題に応用した論文集の紹介。証明の例とツールの基本的紹介もあるらしい2008/12/05 23:30
このブックマークにはスターがありません。 最初のスターをつけてみよう!
lambda-the-ultimate.org2008/12/05
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
形式的な証明法、ツールを数学的問題に応用した論文集の紹介。証明の例とツールの基本的紹介もあるらしい
このブックマークにはスターがありません。
最初のスターをつけてみよう!
AMS: A Special Issue on Formal Proof | Lambda the Ultimate
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /