欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
（版本间的差异）
| 第67行： | 第67行： | ||
</td></tr><tr><td valign=top> | </td></tr><tr><td valign=top> | ||
| − | <b>[[ | + | <b>[[kids]]</b><br> |
<small> | <small> | ||
[[Arts]], | [[Arts]], | ||
| 第83行： | 第83行： | ||
</td><td valign=top> | </td><td valign=top> | ||
| − | <b> | + | <b>[[Recreation]]</b><br> |
<small> | <small> | ||
[[Travel]], | [[Travel]], | ||
2006年7月13日 (四) 11:43的版本
|
您好, 欢迎来到 灰狐维客-你的知识库，让我们一同参与共同打造属于自己的知识库,现在就开始交流与分享 :) |
|
Huihoo首页 | Huihoo论坛 | Huihoo博客 | Huihoo网址大全 | Huihoo相册 |
|
欢迎大家 参与编辑 - 参与维护 - 参与讨论 - 参与整理 - 参与管理 |
|
Arts |
Business | |
|
Games |
Health | |
|
kids |
News |
Recreation |
|
Science | ||
|
Sports | ||
|
World | ||
分享您的观点
