欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
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.
分享您的观点