欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
开放百科 - 灰狐:当前事件
来自开放百科 - 灰狐
(版本间的差异)
跳转到:
导航
,
搜索
2010年9月8日 (三) 05:19的版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
(以'*开源游戏 *开源防火墙 *开源IM *开源浏览器'替换内容)
←上一编辑
2010年9月8日 (三) 05:20的版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
下一编辑→
第3行:
第3行:
*开源IM
*开源IM
*开源浏览器
*开源浏览器
+
...
2010年9月8日 (三) 05:20的版本
开源游戏
开源防火墙
开源IM
开源浏览器
...
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
项目页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
永久链接