欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 |
||
(未显示1个用户的13个中间版本) | |||
第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: | + | <div style="margin-top: .2em; font-size: 200%;">'''[[灰狐会员]]'''</div> |
− | <div style="margin-top: . | + | <div style="margin-top: .5em; font-size: 95%;">自由软件计算机科学、数学物理学的交流分享社群</div> |
− | <div style="margin-top: .5em; font-size: 95%;"> | + | <div style="margin-top: .5em; font-size: 95%;">百科索引 https://github.com/huihoo/wiki</div> |
<div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special:Allpages|<span style="color: green; font-size: 160%;">'''{{NUMBEROFARTICLES}}'''</span>]]篇条目</div> | <div id="articlecount" style="width: 100%; font-size: 85%;">已有[[Special:Allpages|<span style="color: green; font-size: 160%;">'''{{NUMBEROFARTICLES}}'''</span>]]篇条目</div> | ||
| | | | ||
第17行: | 第17行: | ||
| 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=|·]] [[Special:Categories|<span style="color: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Categories|<span style="color: green; font-weight: bold;">所有分类</span>]]</li> |
− | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: | + | <li>[[File:HILLGRY listitem.png|link=|·]] [[Special:Popularpages|<span style="color: green; 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> |
2022年9月18日 (日) 05:46的最后版本
自由软件计算机科学、数学物理学的交流分享社群
已有7,156篇条目
|
许可协议 MPL v2.0 - GNU GPL v3 - GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - CC-BY-SA 3.0 - 许可协议讨论
[编辑] 图标、图片库
Faenza图标集 | 680x100 Banners | 468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 | 90x90 | 135x135 | 其它尺寸 | 墙纸 | 技术 | 社会 | 地点
韦诺之战之肖像 | 韦诺之战之攻击 | 单位: 龙族 | 矮人 | 精灵 | 地精 | 人类 | 人鱼 | 怪兽 | 兽人 | 蜥蜴人 | 巨魔 | 亡灵 | 森林精灵 | 树人
分享您的观点