欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Foundation
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
包含著名基金会的相关项目和相关信息 | 包含著名基金会的相关项目和相关信息 | ||
| + | *[[Free Software Foundation]] | ||
*[[Apache Software Foundation]] | *[[Apache Software Foundation]] | ||
*[[ObjectWeb]] | *[[ObjectWeb]] | ||
| + | *[[Tigris.org]] | ||
2007年2月22日 (四) 23:19的最后版本
包含著名基金会的相关项目和相关信息
分享您的观点
