欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Zypper
来自开放百科 - 灰狐
（版本间的差异）
(以内容'<a href="http://www.flickr.com/photos/87180845@N02/7984210592/" title="Flickr 上 EriChueng 的 广州歌剧院"><img src="http://farm9.staticflickr.com/8436/7984210592_bed...'创建新页面) |
2012年9月15日 (六) 12:09的版本
<a href="http://www.flickr.com/photos/87180845@N02/7984210592/" title="Flickr 上 EriChueng 的 广州歌剧院"><img src="
" width="500" height="282" alt="广州歌剧院"></a>
分享您的观点
