欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Indefero
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | Indefero 一个类似 [[Google Code]] 的代码和项目管理平台，采用 [[PHP]] | + | Indefero 一个类似 [[Google Code]] 的代码和项目管理平台，采用 [[PHP]] 开发，GNU GPL 许可协议。 |
==新闻== | ==新闻== | ||
| 第18行： | 第18行： | ||
==链接== | ==链接== | ||
*[http://www.indefero.net/ Indefero官网] | *[http://www.indefero.net/ Indefero官网] | ||
| + | *[http://projects.ceondo.com/p/indefero/ Indefero项目主页] | ||
{{comment}} | {{comment}} | ||
2010年11月29日 (一) 06:30的版本
Indefero 一个类似 Google Code 的代码和项目管理平台，采用 PHP 开发，GNU GPL 许可协议。
新闻
自http://www.ceondo.com/ecte/feed/indefero加载RSS失败或RSS源被墙
截图
链接
<discussion>characters_max=300</discussion>
分享您的观点
