欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Code Services
来自开放百科 - 灰狐
（重定向自Huihoo Snippets Services）
请访问：Huihoo Code
Huihoo Code Services is a public source code repository.
可使用Huihoo Forge的Code Snippets完成此功能, 它由GForge提供,
如 http://alioth.debian.org/snippet/ 的应用.
http://code.huihoo.com/p/mysql 提供代码研读和审核服务
Links
<discussion>characters_max=300</discussion>
分享您的观点
