欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
vi 是一种计算机文本编辑器。1976年由Bill Joy完成编写，并由BSD发布。
之后, Vim 在 vi 的基础上发展了起来.
