欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache TomEE
来自开放百科 - 灰狐
Apache TomEE:一个面向云计算、更轻量、更快速的 Java Web 服务器,为 Apache Tomcat 加入 Java EE 功能,核心项目:OpenEJB。
链接
分享您的观点