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

• 2012年2月21日 (二) 05:47 (差异 | 历史) . . （+378）‎ . . 新 用户:AbdallaGoudy3733 ‎ (以内容'Howdy just wanted to give you a quick heads up. The words in your content seem to be running off the screen in Opera. I'm not sure if this is a formatting issue or somethin...'创建新页面) （最后更改）