欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenProject
来自开放百科 - 灰狐
OpenProject
目录 |
简介
OpenProject 是 ChiliProject 的分支, ChiliProject 目前已不再更新维护,ChiliProject 基于 Redmine 构建。
功能
指南
项目
用户
图集
链接
分享您的观点