欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Phabricator
来自开放百科 - 灰狐
（版本间的差异）
小 |
小 (→链接) |
||
| 第9行： | 第9行： | ||
*[http://phabricator.org/ Phabricator官网] | *[http://phabricator.org/ Phabricator官网] | ||
*[https://github.com/facebook/phabricator Phabricator @ GitHub] | *[https://github.com/facebook/phabricator Phabricator @ GitHub] | ||
| + | *[https://secure.phabricator.com/diviner/ Phabricator Documentation Books] | ||
*[https://secure.phabricator.com/w/ Phabricator Wiki] | *[https://secure.phabricator.com/w/ Phabricator Wiki] | ||
2014年6月21日 (六) 11:21的版本
phabricator 是一款可以使软件开发者之间更容易进行协同工作的Web应用，由 Facebook 开发，采取 Apache 2 许可协议。
用户
链接
分享您的观点
