Changes to Schedule/ProofCafe_21
- 2012-06-23 08:38:39 UTC (): 参加人数
- 2012-06-23 08:36:57 UTC (): index_after_last をmzpさんの解法に書き換えました。
- 2012-06-23 08:35:54 UTC (): index_after_last をmzpさんの解法に書き換えました。
- 2012-06-23 08:18:37 UTC (): added a proof of plus_n_n_infective_take2
- 2012-06-23 08:04:53 UTC (): 練習問題の gen_dep_practice を更新しました。
- 2012-06-23 07:14:51 UTC (): forall_exists_challenge の証明
- 2012-06-23 06:46:16 UTC (): change into function composition
- 2012-06-23 06:41:39 UTC (): Change Fixpoint to definition
- 2012-06-23 06:38:07 UTC (): wrote forall_exists_challenge
- 2012-06-23 06:27:39 UTC (): 演習問題 fold_map を追加
- 2012-06-23 06:02:53 UTC (): 21