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

• 2012年8月6日 (一) 08:39 (差异 | 历史) . . （+5,156）‎ . . 新 东东堂 ‎ (以内容''''东东堂网站概况''' 东东堂返利网成立于2010年12月，是国内电商类CPS效果营销服务提供商，公司成立几年来， 凭借良好的用户...'创建新页面) （最后更改）
• 2012年8月6日 (一) 08:38 (差异 | 历史) . . （+1,300）‎ . . 新 章学磊 ‎ (以内容''''个人简介''' 姓名：章学磊 籍贯：陕西安康 出生年月：1986.3.26 身高：178cm 体重：70kg 血型：A 爱好：上网，游泳 星座：牡...'创建新页面) （最后更改）