欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenPhone
来自开放百科 - 灰狐
（版本间的差异）
| 第4行： | 第4行： | ||
[[Image:neo1973.jpg|right|thumb|neo1973]] | [[Image:neo1973.jpg|right|thumb|neo1973]] | ||
相关项目： | 相关项目： | ||
| − | *[[Openmoko]] | + | *[[Openmoko]]: 重点关注此项目 |
*[[Android]] | *[[Android]] | ||
2009年7月14日 (二) 01:38的版本
OpenPhone: 开放手机
一个自由、开放的手机和应用服务平台.
相关项目：
分享您的观点
