欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Android Auto是Google推出的专为汽车所设计的Android系统，需要连接手机使用。其预览在2014年6月26日的Google I/O主题演讲中被首度公之于众。Android Auto目前仅在美国提供服务。
