欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
需要登录
跳转到:
导航
,
搜索
开放百科 - 灰狐限制了创建新页面的功能。你可以返回并编辑已有的页面,或者
登录或创建新账户
。
个人工具
登录
名字空间
模板
讨论
变换
查看
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
特殊页面