欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Q+是一个基于Windows系统的开放式应用平台，当用户一键切换到Q+后，它将接管原有的Windows桌面。通过它，用户可以便捷地进入互联网丰富多彩的世界，享受到第三方应用商提供的丰富的互联网应用。
H+ 将基于 Mozilla 构建。
