欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
tmux 是一个功能强大的多窗口管理器，类似GNU Screen，但来自于OpenBSD，采用BSD授权。
它支持单个窗口多终端的创建、访问、控制，Tmux 在你在断开连接之后继续运行，当你重新连接就能获得之前的工作状态。
apt-get install tmux
