欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:News block 2
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | {| style="padding: 0em 0em 1em 1em; width: | + | {| style="padding: 0em 0em 1em 1em; width:50%" |
|class="MainPageBG" style="border:1px solid #ddcef2; background:#faf5ff; vertical-align:top; text-align: left; color:#000;"| | |class="MainPageBG" style="border:1px solid #ddcef2; background:#faf5ff; vertical-align:top; text-align: left; color:#000;"| | ||
{|width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top; background:#faf5ff; color:#000; width:100%" | {|width="100%" cellpadding="2" cellspacing="5" style="vertical-align:top; background:#faf5ff; color:#000; width:100%" | ||
2010年9月25日 (六) 05:52的版本
|
分享您的观点
