欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PetaPoco 是一个小巧、快速、单一文件的小型对象关系映射器(ORM, Object Relational Mapper),面向 .NET 和 Mono 应用,Apache v2 许可协议,C# 开发。