欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LiMo
来自开放百科 - 灰狐
LiMo基金会是一个国际工业财团,致力于打造第一个真正开放式、硬件独立、用于移动设备的以Linux为平台的操作系统。由于移动通信业主要领导企业的支持,LiMo已处在移动通信业的中心,并成为Linux移动平台的凝聚力。
LiMo基金会的使命是打造一个开放式、基于Linux软件的平台,以用于全球企业的移动设备生产,它将通过平衡和透明的作用程序,使设备制造商、营办商、独立软件开发商和整合商的不同产品、应用和服务有一个丰富多样化的体系.
分享您的观点