欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MindTouch 是一套开源的协作软件,最初基于 MediaWiki 构建。
新的 MindTouch 核心使用 C# 和 PHP 开发,应用逻辑用 C#,表现层用 PHP。
平台
内网外网
<discussion>characters_max=300</discussion>