欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
WebSynergy
来自开放百科 - 灰狐
WebSynergy is Sun's next generation web aggregration and presentation platform. This platform includes developer tooling and an enterprise grade presentation runtime based on Liferay Portal Server, GlassFish v3, and MySQL.
Cool :)
https://portal.dev.java.net/public/GetWebSynergy.html
ScreenShots
分享您的观点
