欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenProject
来自开放百科 - 灰狐
(版本间的差异)
(以“OpenProject ==简介== OpenProject 是 [https://www.chiliproject.org/ ChiliProject] 的分支, ChiliProject 目前已不再更新维护,ChiliProject 基于 [[Redm...”为内容创建页面) |
2021年10月5日 (二) 01:01的版本
OpenProject
目录 |
简介
OpenProject 是 ChiliProject 的分支, ChiliProject 目前已不再更新维护,ChiliProject 基于 Redmine 构建。
功能
指南
项目
用户
图集
链接
分享您的观点