欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
我与国际象棋的1000个日夜
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (→简介) |
||
| 第5行： | 第5行： | ||
==简介== | ==简介== | ||
*2017.07.17(1)：《德州扑克小绿皮书》扑克的真理：寻找散财童子；每个人都会犯错误，让对手犯更多错误 ... | *2017.07.17(1)：《德州扑克小绿皮书》扑克的真理：寻找散财童子；每个人都会犯错误，让对手犯更多错误 ... | ||
| + | *2017.07.18(2)：翻牌前 | ||
==日志== | ==日志== | ||
2017年7月18日 (二) 11:22的版本
我与德州扑克的1000个日夜
启始：2017.07.17
简介
- 2017.07.17(1)：《德州扑克小绿皮书》扑克的真理：寻找散财童子；每个人都会犯错误，让对手犯更多错误 ...
- 2017.07.18(2)：翻牌前
日志
分享您的观点
