欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐伊娃俱乐部 Huihoo Eva Club
为什么叫伊娃，因为 Emacs, Vim, Atom （EVA）
闯荡江湖，哪有不佩戴把随身兵器的。
Emacs, Vim, Atom (EVA) 就是你的贴身兵器。
此外，EVA含义很多：新世纪福音战士(EVA巨大人型机器人)
