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

• 2012年6月18日 (一) 13:00 (差异 | 历史) . . （+2,612）‎ . . 新小 用户:RhonaCowell ‎ (以内容'These types of services include Website hosting, domain title registration, website design, and article writing. You can get paid by the click, by the lead, by the sale, or...'创建新页面) （最后更改）
• 2012年6月18日 (一) 12:59 (差异 | 历史) . . （+2,612）‎ . . 新小 RhonaCowell ‎ (以内容'These types of services include Website hosting, domain title registration, website design, and article writing. You can get paid by the click, by the lead, by the sale, or...'创建新页面) （最后更改）