欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
想象一下世界上的每一个人都可以自由使用的自由软件、开源软件知识库。这就是我们正在做的事!(源自Wikimedia Foundation宣言) 欢迎来到开源百科,让我们一起 Wiki, 现在就开始协作与分享, 目前已有 > 1000多名编辑参与此工程 :)
|
欢迎大家 使用手册 - 练习编辑 - 参与维护 - 权限管理 - 条目模板 - 所有条目 - 所有分类 - 热门条目 - 待撰条目 - 新增图片 |
图标、图片库
468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 Logo | 90x90 Logo | 其它尺寸的Icons | 墙纸 | 技术 | 社会 | 地点
分享您的观点