欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第3行: | 第3行: | ||
<td> | <td> | ||
您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :) | 您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :) | ||
− | <br> | + | <br><br> |
[http://www.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://forum.huihoo.com Huihoo论坛] | [http://blogs.huihoo.com Huihoo博客] | [http://site.huihoo.com Huihoo网址大全] | [http://photo.huihoo.com Huihoo相册] | ||
</td> | </td> |
2006年7月14日 (五) 13:28的版本
您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :)
|
|
分享您的观点