欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
PDF
来自开放百科 - 灰狐
(版本间的差异)
跳转到:
导航
,
搜索
2012年12月21日 (五) 07:20的版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
(以“{{SeeWikipedia}}”为内容创建页面)
2015年12月31日 (四) 02:28的最后版本
(
查看源代码
)
Allen
(
讨论
|
贡献
)
第1行:
第1行:
{{SeeWikipedia}}
{{SeeWikipedia}}
+
+
==链接==
+
*[http://pdfreaders.org/ Free Software PDF reader]
+
+
[[category:PDF]]
2015年12月31日 (四) 02:28的最后版本
您可以在Wikipedia上了解到此条目的英文信息
PDF
Thanks, Wikipedia.
[
编辑
]
链接
Free Software PDF reader
1个分类
:
PDF
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
打印版本
永久链接