欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Replicant
Replicant 计划在2010年中启动,以集结各方创建一个完全自由的 Android 分支的努力。
Replicant 是一个自由版的 Android。Replicant 的开发者替换掉了一些特定设备的许多非自由的软件库。非自由的应用也被剔除,不过你当然不要用它们。反过来,CyanogenMod(LineageOS)是非自由的,因为它带有非自由程序。