欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Forum
来自开放百科 - 灰狐
2010年8月10日 (二) 13:0893.190.139.171 (讨论)的版本
[b]It's Time For Revenge...
[url=http://ihateanne.com][img]
[/img][/url]
[url=http://ihateanne.com]www.IHateAnne.com[/url][/b]
分享您的观点
