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

• 2012年3月16日 (五) 11:27 (差异 | 历史) . . （+6,317）‎ . . 新 用户:Adamkoper ‎ (以内容'There are many people who want to create statistics their career, and many falsely believe they'll have to discover a physical campus to take the classes that they need for...'创建新页面) （最后更改）