欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
（版本间的差异）
| 第2行： | 第2行： | ||
<tr> | <tr> | ||
<td > | <td > | ||
| − | <font | + | <font>您好, 欢迎来到 灰狐维客-你的知识库，让我们一同参与共同打造属于自己的知识库,现在就开始交流与分享 :) |
</td> | </td> | ||
</tr> | </tr> | ||
| 第14行： | 第14行： | ||
<table border="0" width="100%" style="border-top:1px solid #006699"> | <table border="0" width="100%" style="border-top:1px solid #006699"> | ||
| − | <tr | + | <tr> |
<td width="100%" > <font style="font-size:14pt;font-weight:bolder;">分类主题</font> ([[我来分类]])</td> | <td width="100%" > <font style="font-size:14pt;font-weight:bolder;">分类主题</font> ([[我来分类]])</td> | ||
</tr> | </tr> | ||
| 第20行： | 第20行： | ||
<p> | <p> | ||
| − | <font color=#FF9000><b>[ | + | <font color=#FF9000><b>[著名Open Source 站点]</b></font><br> |
[[Unix]]·[[Linux]]·[[BSD]]·[[Solaris]]·[[SCO]]·[[HP-UX]]·[[AIX]]·[[Tru64]]·[[IRIX]]·[[Mac OS X]] | [[Unix]]·[[Linux]]·[[BSD]]·[[Solaris]]·[[SCO]]·[[HP-UX]]·[[AIX]]·[[Tru64]]·[[IRIX]]·[[Mac OS X]] | ||
2006年7月13日 (四) 11:08的版本
|
您好, 欢迎来到 灰狐维客-你的知识库，让我们一同参与共同打造属于自己的知识库,现在就开始交流与分享 :) </td> </tr> | |
|
Huihoo首页 | Huihoo论坛 | Huihoo博客 | Huihoo网址大全 | Huihoo相册 </td> </tr> </table>
[著名Open Source 站点] [应用专题] [数据库] [软件开发] [网络技术] |
分享您的观点
