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

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

• 2012年10月24日 (三) 01:11 Allen (讨论 | 贡献)删除页面Perform From House Assembly (内容：“A lot of people think that operating from house is only for those who are excellent at typing or who can do other things on the internet. Nonetheless,...”（唯一贡献者为“DeannaBath17600”）)