Changes to Schedule
- 2018-12-31 12:13:25 UTC (): リンク切れ削除した
- 2018-12-31 12:12:27 UTC (): connpass スペルミス修正。
- 2018-12-31 12:10:53 UTC (): connpass スペルミス修正。
- 2018-12-31 12:04:27 UTC (): commpass
- 2018-05-04 12:10:58 UTC (): 5/4-2
- 2018-05-04 12:08:26 UTC (): 5/4
- 2018-03-28 15:12:49 UTC (): 実際と異なる資料を削除した。
- 2018-03-28 15:11:39 UTC (): 日付を削除した。
- 2017-05-27 11:48:04 UTC (): a
- 2017-05-27 11:47:08 UTC (): https://proofcafe.connpass.com
- 2017-05-27 11:45:45 UTC (): 66
- 2017-03-18 14:50:00 UTC (): 問い合わせ先を変更した。
- 2017-03-18 14:48:11 UTC (): #64
- 2017-03-10 14:42:51 UTC (): 前回ついか
- 2017-03-10 14:41:22 UTC (): https://proofcafe.connpass.com
- 2017-03-10 14:39:29 UTC (): #63 場所は予定
- 2017-02-08 14:32:15 UTC (): 第62回
- 2017-01-28 05:31:34 UTC (): 2017
- 2017-01-28 05:30:49 UTC (): 61th
- 2016-10-20 10:08:53 UTC (): 59
- 2016-09-17 04:13:58 UTC (): place58
- 2016-09-12 02:20:29 UTC (): 58
- 2016-07-14 05:38:47 UTC (): 57
- 2016-06-18 00:16:20 UTC (): drives folder
- 2016-06-13 04:38:47 UTC (): place atsuta
- 2016-06-08 09:02:44 UTC (): aa
- 2016-06-08 09:02:23 UTC (): place
- 2016-06-07 08:17:14 UTC (): the little prover
- 2016-06-07 08:15:55 UTC (): introduced connpass
- 2016-06-07 08:02:52 UTC (): aa
- 2016-05-21 03:19:09 UTC (): announce
- 2016-04-11 10:15:53 UTC (): 5
- 2016-03-16 07:18:49 UTC (): fff
- 2016-03-16 07:17:08 UTC (): a
- 2016-03-16 07:16:01 UTC (): fix
- 2016-03-16 07:14:21 UTC (): 54
- 2016-01-07 03:03:51 UTC (): 52
- 2015-12-18 10:14:42 UTC (): map
- 2015-11-09 06:48:59 UTC (): No51
- 2015-09-12 03:16:28 UTC (): place
- 2015-07-21 01:33:08 UTC (): 50th
- 2015-07-16 08:38:20 UTC (): 49
- 2015-06-25 10:11:06 UTC (): lost partake
- 2015-06-25 10:03:58 UTC (): 48
- 2015-05-21 02:29:46 UTC (): 06
- 2015-04-20 04:41:14 UTC (): 425
- 2015-01-23 08:27:38 UTC (): 44
- 2014-11-13 01:58:42 UTC (): imoni
- 2014-11-13 01:56:54 UTC (): 43
- 2014-10-25 04:37:31 UTC (): 42
- 2014-09-16 00:59:42 UTC (): map
- 2014-09-16 00:59:06 UTC (): 27 309
- 2014-09-16 00:58:05 UTC (): 27 309
- 2014-08-14 07:12:23 UTC (): sasasd
- 2014-08-12 02:26:51 UTC (): 40partake
- 2014-08-12 02:22:46 UTC (): proofcafe9
- 2014-07-25 23:52:18 UTC (): errutuf
- 2014-07-25 07:18:01 UTC (): eru35tuf
- 2014-07-22 10:15:07 UTC (): ProofSummit
- 2014-07-22 10:07:49 UTC (): A207
- 2014-07-11 06:14:19 UTC (): partake40
- 2014-07-11 06:12:10 UTC (): 40
- 2014-06-23 01:34:48 UTC (): 38
- 2014-05-23 23:14:41 UTC (): link
- 2014-05-09 07:00:30 UTC (): 38
- 2014-04-22 03:58:35 UTC (): place
- 2014-04-22 03:50:56 UTC (): 37
- 2014-04-06 01:43:12 UTC (): a
- 2014-04-06 01:42:11 UTC (): start ssreflect
- 2014-03-21 14:09:40 UTC (): 309
- 2014-02-27 11:30:56 UTC (): partake
- 2014-02-27 11:30:12 UTC (): 37
- 2014-02-22 06:56:04 UTC (): kiks cheat sheet
- 2014-02-22 06:55:27 UTC (): ssreflect docs
- 2014-02-18 08:25:34 UTC (): 02/22
- 2014-02-05 10:07:52 UTC (): 36
- 2014-01-06 01:03:02 UTC (): link to 12/28
- 2013-12-28 15:39:07 UTC (): 1
- 2013-12-28 06:32:03 UTC (): 芋煮
- 2013-12-28 06:29:42 UTC (): １月の案内
- 2013-12-28 04:53:33 UTC (): Ssreflectのライブラリ
- 2013-12-16 09:52:33 UTC (): 309
- 2013-12-14 14:02:14 UTC (): asdf
- 2013-11-22 06:13:31 UTC (): 34
- 2013-10-21 02:32:31 UTC (): update
- 2013-07-23 04:22:51 UTC (): link to partake for proofsummit2013
- 2013-07-23 02:50:18 UTC (): link to partake
- 2013-07-01 09:30:37 UTC (): ..
- 2013-06-10 00:54:05 UTC (): 7月のProofCafe
- 2013-05-23 06:08:03 UTC (): 第30回について部屋番号を訂正
- 2013-05-13 06:12:27 UTC (): よりわかりやすいキャンパスマップ
- 2013-05-13 06:09:30 UTC (): 場所
- 2013-04-30 14:38:46 UTC (): link to partake
- 2013-04-30 08:28:48 UTC (): 30回の案内
- 2013-04-18 10:09:40 UTC (): place
- 2013-03-01 18:59:54 UTC (): 場所未定
- 2013-03-01 18:55:33 UTC (): 29
- 2013-02-22 06:14:03 UTC (): link to partake
- 2013-02-22 06:11:25 UTC (): Logic_J
- 2013-02-12 06:50:53 UTC (): 28回