欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MainPage
来自开放百科 - 灰狐
（版本间的差异）
| 第20行： | 第20行： | ||
<li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: #fff; font-weight: bold;">热门条目</span>]]</li> | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: #fff; font-weight: bold;">热门条目</span>]]</li> | ||
<li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Wantedpages|<span style="color: #fff; font-weight: bold;">待撰条目</span>]]</li> | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Wantedpages|<span style="color: #fff; font-weight: bold;">待撰条目</span>]]</li> | ||
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:RecentComments|<span style="color: #fff; font-weight: bold;">最新评论</span>]</li> | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:RecentComments|<span style="color: #fff; font-weight: bold;">最新评论</span>]]</li> |
</ul> | </ul> | ||
|}<!-- 顶栏结束 --> | |}<!-- 顶栏结束 --> | ||
2010年9月27日 (一) 02:51的最后版本
|
彼此信任，协作分享
人人可参与的自由协作计划
已有7,156篇条目
|
分享您的观点
