欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Auguusstt
来自开放百科 - 灰狐
（版本间的差异）
| 第12行： | 第12行： | ||
[[python 蟒蛇]] | [[python 蟒蛇]] | ||
[[python | 蟒蛇]] | [[python | 蟒蛇]] | ||
| + | |||
| + | |||
| + | 引用外部链接 | ||
| + | http://wiki.huihoo.com | ||
2006年7月18日 (二) 13:08的版本
哈罗，哈罗 1 2
3
4
引用外部链接
http://wiki.huihoo.com
分享您的观点
