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

• 2012年6月22日 (五) 21:17 (差异 | 历史) . . （+2,979）‎ . . 新 用户:AaricWorcester46 ‎ (以内容'There are actually lots of viruses that have spread out in the web today. Since there are plenty of people which are making use of the computers the hackers also never stop...'创建新页面) （最后更改）