欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
魔趣 ROM
可能是中国最好的安卓开源系统
魔趣 ROM 基于 Android 开源项目 (AOSP) 二次开发,所有的定制都遵循 Google 推出的 Material Design 设计语言,与原生 Android 界面保持着一致,这种定制方式降低了版本升级的难度。