欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第2行: | 第2行: | ||
<tr> | <tr> | ||
<td> | <td> | ||
− | 您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :) | + | 您好, 欢迎来到 灰狐维客-开源百科全书-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :) |
<br><br> | <br><br> | ||
[http://www.huihoo.com Huihoo首页] | [http://labs.huihoo.com Huihoo项目] | [http://forum.huihoo.com Huihoo论坛] | [http://blogs.huihoo.com Huihoo博客] | [http://site.huihoo.com Huihoo网址大全] | [http://photo.huihoo.com Huihoo相册] | [http://www.huihoo.com Huihoo首页] | [http://labs.huihoo.com Huihoo项目] | [http://forum.huihoo.com Huihoo论坛] | [http://blogs.huihoo.com Huihoo博客] | [http://site.huihoo.com Huihoo网址大全] | [http://photo.huihoo.com Huihoo相册] |
2006年7月15日 (六) 22:16的版本
您好, 欢迎来到 灰狐维客-开源百科全书-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :)
|
|
特别链接: 欢迎关注中文维客年会
首届中文维客年会将于2006年8月12日在上海图书馆举行
分享您的观点