欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Wave
来自开放百科 - 灰狐
Google Wave is a new online communication and collaboration tool.
Google Wave将基于BSD许可协议开源
Google Wave uses operational transformation as part of the Google Wave Federation Protocol The Google wave operational transformation algorithm is based on Jupiter
Links
分享您的观点