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