サクサク読めて、アプリ限定の機能も多数!
証明器。BSDライセンス。sel4が使ってる。
masterq のブックマーク 2013/03/06 21:05
Isabelle[proof]証明器。BSDライセンス。sel4が使ってる。2013/03/06 21:05
このブックマークにはスターがありません。 最初のスターをつけてみよう!
isabelle.in.tum.de2008/02/27
What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Is...
19 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
証明器。BSDライセンス。sel4が使ってる。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Isabelle
What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Is...
19 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /