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

• 2012年3月3日 (六) 04:18 (差异 | 历史) . . （+1,575）‎ . . 新 ThirstyWater ‎ (以内容'Everything comes to an end, and there are times when shutting down a server for the last time may just be the right thing to do. Whether the hardware is old and the website...'创建新页面) （最后更改）