proofcafe

ProofCafe

■ ProofCafe has moved

ProofCafe勉強会のWikiは移動しました。こちらをご覧ください。

ProofCafe - Front Page

以下は昔のProofCafeに関する情報です。

続きを読む

「proofcafe」を含む日記

「proofcafe」を含むキーワード

2011/10/03 13:46:22 ProofCafe

「proofcafe」へのトラックバック (4) -

2010-12-05 23:45:16 DenkiYagi - NGK忘年会2010 無事終了しました！
2010-12-05 01:07:02 みずぴー日記 - NGK忘年会2010でCoqの紹介をしてきました
2010-07-24 23:03:41 にわとり小屋でのプログラミング日記 - OCamlでlet recを使わずにfact関数を定義する
2010-05-23 00:53:53 にわとり小屋でのプログラミング日記 - Coqで多変数多項式の簡約