欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Download Services
来自开放百科 - 灰狐
Huihoo Pack: 精选自由、开源Windows小程序, 如 Sumatra PDF, 通过ODM快速下载和安装, 类似 Google Pack, . http://pack.huihoo.com/
这些软件强调的就是小巧、实用与高效.
下载网站采用类似 Plone Software Center 的方式构建.
分享您的观点
