欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

• Database‎ (7,993字节)‎（全保护） (保护日志)
• Newton‎ (2,259字节)‎（全保护） (保护日志)
• HTML5‎ (14,350字节)‎（全保护） (保护日志)
• Google Web Toolkit‎ (6,057字节)‎（全保护） (保护日志)
• Content Delivery Network‎ (1,377字节)‎（全保护） (保护日志)
• Web Services‎ (26字节)‎（全保护） (保护日志)
• OpenCloud‎ (29字节)‎（全保护） (保护日志)
• OpenERP‎ (19字节)‎（全保护） (保护日志)
• OBrowser‎ (29字节)‎（全保护） (保护日志)
• Huihoo Ad Service‎ (27字节)‎（全保护） (保护日志)
• Huihoo browser‎ (30字节)‎（全保护） (保护日志)