Changes to Schedule/ProofCafe_27
- 2013-02-12 06:52:57 UTC (): link to partake
- 2013-01-28 02:18:13 UTC (): 鳩の巣原理の訂正
- 2013-01-27 13:14:37 UTC (): cleanup
- 2013-01-27 12:40:01 UTC (): うまくいった
- 2013-01-27 12:33:27 UTC (): 鳩の巣原理の証明をしました。
- 2013-01-27 05:27:36 UTC (): PHPの失敗した証明をここにもってきた
- 2013-01-26 07:11:11 UTC (): ..
- 2013-01-26 07:10:18 UTC (): ..