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

• 2012年8月3日 (五) 09:40 (差异 | 历史) . . （+1,131）‎ . . 新 用户:ZarowkiledyQSM6 ‎ (以内容'Salon to miejsce to spotkań ze znajomymi czy też okazja do wyprawienia fajnej imprezy z napojami wyskokowymi jednak żeby impreza była udana czy też plotki ze znajomymi...'创建新页面) （最后更改）