欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
odoo PM 项目管理
整合Taiga,将技术研发的项目管理纳入odoo系统。
项目一览
项目看板
项目报告