欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Tryton 是一套开源(GPLv3)软件,用于构建企业商务、ERP、CRM 的模块化系统和通用平台,采用 Python 语言和 PostgreSQL 数据库。
GNU Health 就是一组 Tryton 模块。