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

• 2011年1月11日 (二) 01:09 (差异 | 历史) . . （-127）‎ . . 用户:Errol5188 ‎ （最后更改）
• 2011年1月4日 (二) 11:42 (差异 | 历史) . . （+245）‎ . . 用户:Errol5188 ‎
• 2011年1月4日 (二) 11:36 (差异 | 历史) . . （+133）‎ . . 新 用户:Errol5188 ‎ (以内容'现就读与河北师范大学软件学院，对程序设计有着疯狂的热爱。熟悉PHP+MYSQL开发，精通C/C++、Qt编程。'创建新页面)