欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
CSLA .NET 是一个开源(MIT)的企业应用开发框架，CSLA 是 Component-based, Scalable, Logical Architecture 的缩写。
CSLA .NET是一个.NET软件开发框架，可以帮助开发者为Windows、Web、面向服务和工作流等应用构建强大和可维护的业务逻辑层。
架构
