Gordon Zheng
Fri, 25 Sep 2015 01:35:18 GMT
Hi Gordon! Did you try that proof "game"? (if you guys have any time to play games at all..) I think, I really like it! Some tasks, especially at the end, like in the Hilber System section are _tough_.