欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
第6行: | 第6行: | ||
[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> | ||
+ | <td>[[Image:huihoo.png]]</td> | ||
</tr> | </tr> | ||
<tr> | <tr> |
2006年7月14日 (五) 14:31的版本
您好, 欢迎来到 灰狐维客-你的知识库,让我们一同参与共同打造属于自己的知识库,现在就开始协作与分享 :)
|
|
分享您的观点