欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
Agda
,
C++
/
Erlang
/
Lisp
Word chart/h
来自开放百科 - 灰狐
(版本间的差异)
跳转到:
导航
,
搜索
2010年11月1日 (一) 14:57的版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
←上一编辑
2010年11月12日 (五) 02:36的最后版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
(未显示1个用户的1个中间版本)
第1行:
第1行:
−
*host v. 托管
*host v. 托管
+
*hard-and-fast 必须遵守的,固定不变的
+
*however 然而
2010年11月12日 (五) 02:36的最后版本
host v. 托管
hard-and-fast 必须遵守的,固定不变的
however 然而
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
打印版本
永久链接