欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MainPage
来自开放百科 - 灰狐
（版本间的差异）
| （未显示1个用户的4个中间版本） | |||
| 第3行： | 第3行： | ||
|- | |- | ||
| style="background-color: #fff; -moz-border-radius: 10px; -webkit-border-radius: 10px; border-radius:10px; padding: 10px 0; width: 61.8%; text-align: center;" | | | style="background-color: #fff; -moz-border-radius: 10px; -webkit-border-radius: 10px; border-radius:10px; padding: 10px 0; width: 61.8%; text-align: center;" | | ||
| − | <div style="font-size:95%;">''' | + | <div style="font-size:95%;">'''彼此信任，协作分享'''</div> |
| − | <div style="margin-top: .2em; font-size: 200%;">'''[[ | + | <div style="margin-top: .2em; font-size: 200%;">'''[[Open Source Wiki|开源百科]]'''</div> |
| − | <div style="margin-top: .5em; font-size: 95%;"> | + | <div style="margin-top: .5em; font-size: 95%;">人人可参与的自由协作计划</div> |
| − | <div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special: | + | <div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special:Allpages|<span style="color: green; font-size: 120%;">'''{{NUMBEROFARTICLES}}'''</span>]]篇条目</div> |
| | | | ||
| style="width: 10em; font-size: 90%;" | | | style="width: 10em; font-size: 90%;" | | ||
<ul style="list-style: none outside none;"> | <ul style="list-style: none outside none;"> | ||
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[help:编辑|<span style="color: #fff; font-weight: bold;">使用手册</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[ | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[沙盒|<span style="color: #fff; font-weight: bold;">练习编辑</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[ | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[参与维护|<span style="color: #fff; font-weight: bold;">参与维护</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[ | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[条目模板|<span style="color: #fff; font-weight: bold;">条目模板</span>]]</li> |
</ul> | </ul> | ||
| style="width: 12.5em; font-size: 90%; color: #ffffff;" class="plainlinks" | | | style="width: 12.5em; font-size: 90%; color: #ffffff;" class="plainlinks" | | ||
<ul style="list-style: none outside none;"> | <ul style="list-style: none outside none;"> | ||
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Categories|<span style="color: #fff; font-weight: bold;">所有分类</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: #fff; font-weight: bold;">热门条目</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [[: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Wantedpages|<span style="color: #fff; font-weight: bold;">待撰条目</span>]]</li> |
| − | <li>[[File:HILLGRY listitem.png|link=|·]] [ | + | <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篇条目
|
分享您的观点
