欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenCity
来自开放百科 - 灰狐
（版本间的差异）
(以内容' ==链接== *[http://www.opencityproject.com/OpenCity2/2-OpenCity___Platform_C2C_C2G.html OpenCity Project]'创建新页面) |
|||
| 第1行： | 第1行： | ||
| − | + | [[Image:opencity.png]] | |
==链接== | ==链接== | ||
| + | *https://www.drumbeat.org/project/opencity-project | ||
*[http://www.opencityproject.com/OpenCity2/2-OpenCity___Platform_C2C_C2G.html OpenCity Project] | *[http://www.opencityproject.com/OpenCity2/2-OpenCity___Platform_C2C_C2G.html OpenCity Project] | ||
2010年11月10日 (三) 02:16的最后版本
[编辑] 链接
分享您的观点
