欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Centric Team Elements
来自开放百科 - 灰狐
Centric Team Elements is an Enterprise 2.0 team collaboration suite. It ties discussions, wikis, RSS, project and document management, and federated search into a unified application. It is database-driven with rigorous role-based access and permissions.
License: Open Software License
分享您的观点