欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Cyn.in
来自开放百科 - 灰狐
Open source group collaboration software for Enterprise. Cyn.in helps teams to build collaborative knowledge by sharing & discussing various forms of digital content within a secure, unified application that is accessible using a web based interface.
License: GNU General Public License (GPL)
Operating System: Linux, XP, Mac
Links
分享您的观点
