欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
用户贡献
Aura
的贡献(
讨论
|
封禁日志
|
上传
|
日志
)
跳转到:
导航
,
搜索
搜索贡献
只显示新账户的贡献
IP地址或用户名:
名字空间:
全部
(主要)
讨论
用户
用户讨论
开放百科 - 灰狐
开放百科 - 灰狐讨论
文件
文件讨论
MediaWiki
MediaWiki讨论
模板
模板讨论
帮助
帮助讨论
分类
分类讨论
反选
相关名字空间
仅已删除的
只显示最后修订版本的编辑
截止年份:
截止月份:
全部
1月
2月
3月
4月
5月
6月
7月
8月
9月
10月
11月
12月
2012年8月29日 (三) 14:36
(差异 |
历史
) . .
(+2,658)
. .
新
Aura
(以内容'The Enormous Bean Bag is low cost and a good quality item of furniture The bean bag continues to be a chair which is now frequent in various various areas and they're apa...'创建新页面)
(最后更改)
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
特殊页面
变换
查看
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
Atom
用户贡献
日志
特殊页面