欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2017年10月28日 (六) 15:12 Allen (讨论 | 贡献)标记页面Data science的版本146982为已巡查
• 2017年10月23日 (一) 08:11 Allen (讨论 | 贡献)标记页面Data science的版本146912为已巡查
• 2017年8月22日 (二) 17:15 Allen (讨论 | 贡献)标记页面Data science的版本145896为已巡查
• 2017年8月15日 (二) 08:52 Allen (讨论 | 贡献)标记页面Data science的版本145759为已巡查
• 2017年8月15日 (二) 05:57 Allen (讨论 | 贡献)标记页面Data science的版本145757为已巡查
• 2017年8月14日 (一) 06:12 Allen (讨论 | 贡献)标记页面Data science的版本145738为已巡查
• 2017年8月14日 (一) 06:12 Allen (讨论 | 贡献)标记页面Data science的版本145737为已巡查
• 2017年8月14日 (一) 06:10 Allen (讨论 | 贡献)标记页面Data science的版本145736为已巡查
• 2017年8月14日 (一) 06:01 Allen (讨论 | 贡献)标记页面Data science的版本145734为已巡查
• 2017年8月11日 (五) 08:27 Allen (讨论 | 贡献)标记页面Data science的版本145663为已巡查
• 2017年8月10日 (四) 02:32 Allen (讨论 | 贡献)标记页面Data science的版本145600为已巡查
• 2017年8月9日 (三) 04:26 Allen (讨论 | 贡献)标记页面Data science的版本145579为已巡查
• 2017年8月9日 (三) 03:20 Allen (讨论 | 贡献)标记页面Data science的版本145570为已巡查
• 2017年8月5日 (六) 05:01 Allen (讨论 | 贡献)标记页面Data science的版本145431为已巡查
• 2017年8月5日 (六) 02:27 Allen (讨论 | 贡献)标记页面Data science的版本145420为已巡查
• 2017年8月5日 (六) 02:26 Allen (讨论 | 贡献)标记页面Data science的版本145419为已巡查
• 2017年8月5日 (六) 02:24 Allen (讨论 | 贡献)标记页面Data science的版本145418为已巡查
• 2017年8月5日 (六) 01:51 Allen (讨论 | 贡献)标记页面Data science的版本145416为已巡查
• 2017年8月5日 (六) 01:45 Allen (讨论 | 贡献)标记页面Data science的版本145415为已巡查
• 2017年8月5日 (六) 01:35 Allen (讨论 | 贡献)标记页面Data science的版本145414为已巡查
• 2017年8月4日 (五) 05:06 Allen (讨论 | 贡献)标记页面Data science的版本145400为已巡查
• 2017年8月4日 (五) 03:55 Allen (讨论 | 贡献)标记页面Data science的版本145393为已巡查
• 2017年8月3日 (四) 16:47 Allen (讨论 | 贡献)标记页面Data science的版本145370为已巡查
• 2017年8月3日 (四) 16:46 Allen (讨论 | 贡献)标记页面Data science的版本145369为已巡查
• 2017年8月2日 (三) 11:36 Allen (讨论 | 贡献)标记页面Data science的版本145303为已巡查
• 2017年8月2日 (三) 05:12 Allen (讨论 | 贡献)标记页面Data science的版本145301为已巡查
• 2017年6月30日 (五) 02:54 Allen (讨论 | 贡献)标记页面Data science的版本144290为已巡查
• 2016年6月13日 (一) 05:55 Allen (讨论 | 贡献)标记页面Data science的版本138760为已巡查
• 2016年6月7日 (二) 00:28 Allen (讨论 | 贡献)标记页面Data science的版本138393为已巡查
• 2016年3月29日 (二) 01:21 Allen (讨论 | 贡献)标记页面Data science的版本136831为已巡查
• 2016年3月28日 (一) 14:22 Allen (讨论 | 贡献)标记页面Data science的版本136823为已巡查
• 2016年3月28日 (一) 14:21 Allen (讨论 | 贡献)标记页面Data science的版本136822为已巡查
• 2016年3月28日 (一) 14:07 Allen (讨论 | 贡献)标记页面Data science的版本136818为已巡查
• 2016年3月28日 (一) 14:04 Allen (讨论 | 贡献)标记页面Data science的版本136817为已巡查
• 2016年3月28日 (一) 13:58 Allen (讨论 | 贡献)标记页面Data science的版本136816为已巡查
• 2016年3月24日 (四) 05:06 Allen (讨论 | 贡献)标记页面Data science的版本136734为已巡查
• 2016年3月4日 (五) 13:00 Allen (讨论 | 贡献)标记页面Data science的版本136235为已巡查
• 2016年3月3日 (四) 03:55 Allen (讨论 | 贡献)标记页面Data science的版本136209为已巡查
• 2016年3月3日 (四) 03:49 Allen (讨论 | 贡献)标记页面Data science的版本136208为已巡查
• 2016年3月3日 (四) 02:57 Allen (讨论 | 贡献)标记页面Data science的版本136200为已巡查
• 2016年3月3日 (四) 02:56 Allen (讨论 | 贡献)标记页面Data science的版本136199为已巡查
• 2016年3月2日 (三) 15:56 Allen (讨论 | 贡献)标记页面Data science的版本136198为已巡查
• 2016年3月1日 (二) 12:47 Allen (讨论 | 贡献)标记页面Data science的版本136189为已巡查
• 2016年3月1日 (二) 12:26 Allen (讨论 | 贡献)标记页面Data science的版本136187为已巡查
• 2016年3月1日 (二) 11:21 Allen (讨论 | 贡献)标记页面Data science的版本136186为已巡查
• 2016年3月1日 (二) 11:19 Allen (讨论 | 贡献)标记页面Data science的版本136185为已巡查
• 2016年2月29日 (一) 09:28 Allen (讨论 | 贡献)标记页面Data science的版本136123为已巡查
• 2016年2月29日 (一) 09:26 Allen (讨论 | 贡献)标记页面Data science的版本136119为已巡查
• 2016年2月29日 (一) 09:11 Allen (讨论 | 贡献)标记页面Data science的版本136115为已巡查
• 2016年2月2日 (二) 13:43 Allen (讨论 | 贡献)标记页面Data science的版本135275为已巡查