欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
80x15 Buttons
来自开放百科 - 灰狐
(版本间的差异)
第23行: | 第23行: | ||
Image:credit-80x15.gif | Image:credit-80x15.gif | ||
Image:debian-80x15.gif | Image:debian-80x15.gif | ||
− | |||
Image:donate-80x15.png | Image:donate-80x15.png | ||
Image:donate-gr_80x15.png | Image:donate-gr_80x15.png | ||
第172行: | 第171行: | ||
Image:djangosite80x15.gif | Image:djangosite80x15.gif | ||
Image:80x15-digg-badge-2.gif | Image:80x15-digg-badge-2.gif | ||
− | |||
</gallery> | </gallery> | ||
2010年8月17日 (二) 02:59的版本
相关链接
分享您的观点