欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo 目前组织和开展的翻译工作有:
译言网提供了一个很好的支撑平台.
期待大家的建议和参与 :)