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

• 2012年1月7日 (六) 20:20 (差异 | 历史) . . （+2,009）‎ . . 新 用户:YairDarley1366 ‎ (以内容'Your skin is your jewel, and you should do your utmost best to care for it at all times. It does not matter what route you decide to take with your skin, whether you go nat...'创建新页面) （最后更改）