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

• 2012年1月22日 (日) 13:50 (差异 | 历史) . . （+3,039）‎ . . 新 Lubin ‎ (以内容'There are a number of social network web pages like [http://lubin.on-line.pl/ lubin] out there in excess of the world-wide-web. All of them are flooded with members. Folks ...'创建新页面) （最后更改）