欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐翻译
来自开放百科 - 灰狐
灰狐翻译将从以下三个方面入手：
- 英文资料和书籍的翻译(英文是最主要的，但也不排除其它语种的)
- OpenDict 开放词典的开发
- http://dict.huihoo.com 是用户英语学习的在线自助服务，用户可管理自己的英语学习, 可将自己不会翻译的东西贴出来寻求帮助等等。
灰狐翻译内容包含有：
- 开源项目文档
- 英文IT博客
- 外文书籍的翻译工作 (联系出版社出版)
Huihoo 目前组织和开展的翻译工作有:
我们也将把开源百科发展成一个多语言协作平台.
期待大家的建议和参与 :)
- Translatewiki.net是一个翻译社群、语言社群和开源项目的本地化平台.
- 译言网提供了一个很好的支撑平台.
分享您的观点
