欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Android 3.0 主要用于平板电脑，并为平板用户使用习惯做了优化。
北京时间2月3日2点，谷歌于美国加州山景城举办发布会，宣布Android 3.0 Honeycomb正式发布。新浪报道
<discussion>characters_max=300</discussion>
