欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐翻译
来自开放百科 - 灰狐
Huihoo 目前组织和开展的翻译工作有:
我们也将把开源百科发展成一个多语言协作平台.
期待大家的建议和参与 :)
- Translatewiki.net是一个翻译社群、语言社群和开源项目的本地化平台.
- 译言网提供了一个很好的支撑平台.
分享您的观点
