欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Huihoo Code
来自开放百科 - 灰狐
Teamhost.org 是为那些致力于开源项目的开发者服务的，一个公开的免费开源服务平台，提供类似于 Google Code 和 Github 的开源项目托管服务，并围绕社会化(SNS)为核心建立更加敏捷的互动平台服务。
链接
分享您的观点
