欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
X窗口系统（X Window System，也常称为X11或X）是一种以位图方式显示的软件窗口系统，GNOME和KDE也都是以X窗口系统为基础建构建的。
X.Org基金会开发了X11，采用MIT许可协议。
