欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐社区
来自开放百科 - 灰狐
社区/社交网络是快速迭代开发和长期坚持运营出来的。
灰狐现在的百科、博客、协作、[http://qa.huihoo.com 问答等服务基于PHP构建，灰狐社区也同样基于PHP构建。
路线图
- 评估 mahara(默认)、dolphin 等开源SNS软件，选择其一构建灰狐社区第一个版本，Mahara倡导的终身教育也常被用于学校和高等教育，可同时驱动灰狐教育。(2016.10.10)
- Huihoo 3.0
- Huihoo 2.0
图集
基础架构
链接
分享您的观点
