欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
APLAWS
来自开放百科 - 灰狐
APLAWS+ is built upon the Red Hat Content Management System, an evolution of the ArsDigita Community System. The APLAWS project has helped to improve and extended this underlying system and has developed specific local authority components above this layer. These components are abstracted adequately so that as the underlying Red Hat system evolves the overall APLAWS+ bundle will be able to benefit from this. The system is delivered with the source code included and is J2EE compliant.
Install
Links
分享您的观点