欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Zypper
来自开放百科 - 灰狐
（版本间的差异）
(→张杜坪) |
小 |
||
| 第15行： | 第15行： | ||
[[喜欢链接]] | [[喜欢链接]] | ||
| + | |||
| + | |||
联系方式： | 联系方式： | ||
如果有事可以Email我[email protected] | 如果有事可以Email我[email protected] | ||
| + | |||
| + | ---- | ||
| + | |||
| + | ---- | ||
2012年9月15日 (六) 13:08的版本
--Zypper 2012年9月15日 (六) 20:30 (CST)欢迎访问
张杜坪
== 自由品牌 ==
== 用心收藏 ==
联系方式： 如果有事可以Email我[email protected]
分享您的观点
