欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
用户列表
跳转到:
导航
,
搜索
用户列表
给定显示用户条件:
用户组:
(全部)
机器人
管理员
行政员
只显示有编辑的用户
按建立日期排序
Allen
(
管理员
) (2007年1月9日 (星期二) 16:55创建)
WikiSysop
(
行政员
、
管理员
) (2006年7月13日 (星期四) 01:07创建)
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
特殊页面
变换
查看
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
特殊页面