サクサク読めて、アプリ限定の機能も多数!
Coq:証明とプログラムが一体になった環境。「整数」「文字列」みたいな普通の型以外に、「命題」や「証明」を表すデータがある。Coqからプログラムを生成できる。CoqIDEという開発環境がある。
hamamuratakuo のブックマーク 2021/08/19 19:29
『定理証明支援系 Coq チュートリアル』に参加した - yhara.jp[プログラミング][数学][OCaml]Coq:証明とプログラムが一体になった環境。「整数」「文字列」みたいな普通の型以外に、「命題」や「証明」を表すデータがある。Coqからプログラムを生成できる。CoqIDEという開発環境がある。2021/08/19 19:29
このブックマークにはスターがありません。 最初のスターをつけてみよう!
yhara.jp2021/07/10
先週の土日にこのオンラインセミナーに参加してみた。 定理証明支援系 Coq チュートリアル - connpass 定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰...
5 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
Coq:証明とプログラムが一体になった環境。「整数」「文字列」みたいな普通の型以外に、「命題」や「証明」を表すデータがある。Coqからプログラムを生成できる。CoqIDEという開発環境がある。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
『定理証明支援系 Coq チュートリアル』に参加した - yhara.jp
先週の土日にこのオンラインセミナーに参加してみた。 定理証明支援系 Coq チュートリアル - connpass 定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰...
5 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /