欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第21行: | 第21行: | ||
</table> | </table> | ||
− | {{News block 2|News}} | + | __NOTOC__ __NOEDITSECTION__ |
+ | {|style="border-spacing:8px; margin:0px -8px;" | ||
+ | | class="MainPageBG" style="width:50%; vertical-align:top" | {{News block 2}} | ||
+ | | class="MainPageBG" style="width:50%; vertical-align:top" | {{News block 4}} | ||
+ | |} | ||
{{Category}} | {{Category}} |
2010年9月25日 (六) 05:57的版本
想象一下世界上的每一个人都可以自由使用的自由软件、开源软件知识库。这就是我们正在做的事!(源自Wikimedia Foundation宣言) 欢迎来到开源百科,让我们一起 Wiki, 现在就开始协作与分享, 目前已有 > 1000多名志愿者参与此工程 :)
|
欢迎大家 使用手册 - 练习编辑 - 参与维护 - 条目模板 - 已有7,156篇条目 - 所有分类 - 热门条目 - 待撰条目 - 新增图片 - 最新评论 |
开源许可协议 GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - 许可协议讨论 |
分享您的观点