欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E3 CMS、企业门户、Web平台
E3 CMS 基于 Orchard and .NET Core & ASP.NET Core 构建，一个开放的内容管理、企业门户和 Web 应用和开发平台。
