欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Quercus
来自开放百科 - 灰狐
（重定向自Resin Quercus）
Quercus 是一种联合使用 Java技术和 PHP 编写 Web 服务和应用程序的新方法。通过 Quercus 框架，可以将 Java 和 PHP 集成起来，从而支持将 Spring 和 Hibernate 等各种 Java 库集成到应用程序中。
链接
分享您的观点
