欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：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="
" width="500" height="282" alt="广州歌剧院"></a>
分享您的观点
