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