サクサク読めて、アプリ限定の機能も多数!
定理証明手習いが終わったらSoftware Foundationsを読むんだ・・・(読むのか(フラグ
kb84tkhr のブックマーク 2018/01/05 11:33
ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ[programming][book]定理証明手習いが終わったらSoftware Foundationsを読むんだ・・・(読むのか(フラグ2018/01/05 11:33
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.proofcafe.org2013/01/10
開催勉強会 ProofCafeではいくつかの勉強会を定期開催しています。 詳細は個別のページをご覧ください。 Coqを用いたプログラムの証明について勉強する勉強会です。 コーヒーを飲みながら楽しく証明しましょう。 ...
9 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
定理証明手習いが終わったらSoftware Foundationsを読むんだ・・・(読むのか(フラグ
kb84tkhr のブックマーク 2018/01/05 11:33
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
www.proofcafe.org2013/01/10
開催勉強会 ProofCafeではいくつかの勉強会を定期開催しています。 詳細は個別のページをご覧ください。 Coqを用いたプログラムの証明について勉強する勉強会です。 コーヒーを飲みながら楽しく証明しましょう。 ...
9 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /