欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo 目前组织和开展的翻译工作有:
译言网提供了一个很好的支撑平台.
也要把开源百科发展成一个多语言协作平台.
期待大家的建议和参与 :)
