欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Xamarin.Forms:一套使用 C# 语言构建跨平台App的本地 UI 代码库,支持 iOS, Android 和 Windows 操作系统,采用 MIT 许可协议。
.NET MAUI