欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Huihoo.NET.Backup
来自开放百科 - 灰狐
目标： Huihoo Network: 要打造成功的开放源代码服务,交易,支持平台
All-in-one Enterprise-grade Database & Middleare & OS Support and Services platform
参考：
- Redhat Network - http://www.redhat.com/docs/manuals/RHNetwork/
- MySQL Network - http://www.mysql.com/network/
- JBoss Network - https://network.jboss.com/
分享您的观点
