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

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

• 2021年2月8日 (一) 03:26 Allen (讨论 | 贡献)标记页面Prometheus的版本156364为已巡查
• 2018年8月6日 (一) 03:43 Allen (讨论 | 贡献)标记页面Prometheus的版本150125为已巡查
• 2018年8月6日 (一) 03:43 Allen (讨论 | 贡献)标记页面Prometheus的版本150124为已巡查
• 2018年4月4日 (三) 17:34 Allen (讨论 | 贡献)标记页面Prometheus的版本149391为已巡查
• 2018年3月1日 (四) 15:38 Allen (讨论 | 贡献)标记页面Prometheus的版本148915为已巡查
• 2018年2月20日 (二) 15:22 Allen (讨论 | 贡献)标记页面Prometheus的版本148745为已巡查
• 2018年1月13日 (六) 04:15 Allen (讨论 | 贡献)标记页面Prometheus的版本148244为已巡查
• 2018年1月13日 (六) 04:13 Allen (讨论 | 贡献)标记页面Prometheus的版本148243为已巡查
• 2018年1月13日 (六) 03:34 Allen (讨论 | 贡献)标记页面Prometheus的版本148242为已巡查
• 2018年1月5日 (五) 11:25 Allen (讨论 | 贡献)标记页面Prometheus的版本148029为已巡查
• 2018年1月5日 (五) 11:25 Allen (讨论 | 贡献)标记页面Prometheus的版本148028为已巡查
• 2017年12月14日 (四) 03:24 Allen (讨论 | 贡献)标记页面Prometheus的版本147630为已巡查
• 2017年12月14日 (四) 03:21 Allen (讨论 | 贡献)标记页面Prometheus的版本147629为已巡查
• 2017年8月26日 (六) 07:10 Allen (讨论 | 贡献)标记页面Prometheus的版本146023为已巡查
• 2017年8月14日 (一) 02:24 Allen (讨论 | 贡献)标记页面Prometheus的版本145727为已巡查
• 2017年6月5日 (一) 03:01 Allen (讨论 | 贡献)标记页面Prometheus的版本143961为已巡查
• 2017年6月4日 (日) 15:04 Allen (讨论 | 贡献)标记页面Prometheus的版本143954为已巡查
• 2017年6月2日 (五) 06:24 Allen (讨论 | 贡献)标记页面Prometheus的版本143935为已巡查
• 2016年4月18日 (一) 10:14 Allen (讨论 | 贡献)标记页面Prometheus的版本137285为已巡查
• 2016年4月18日 (一) 10:11 Allen (讨论 | 贡献)标记页面Prometheus的版本137284为已巡查
• 2016年4月18日 (一) 08:09 Allen (讨论 | 贡献)标记页面Prometheus的版本137280为已巡查