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