TE
科技回声
首页
24小时热榜
最新
最佳
问答
展示
工作
中文
GitHub
Twitter
首页
Propositional logic exercises with the lean theorem prover
54 点
作者
mathematically
超过 3 年前
2 条评论
giomasce
超过 3 年前
See also the Natural Number Game.
sidpatil
超过 3 年前
Collapse
Just the kind of thing I've been looking for!
评论 #28953868 未加载
评论 #28954254 未加载