欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Orchard 是一个开源(New BSD)内容管理系统,基于 ASP.NET 和 ASP.NET MVC 框架构建,Orchard 2 基于 ASP.NET Core 构建。