Coq学习——Coq-vs.-Set-Theory Coq vs. Set Theory Computer Science 形式化验证 形式化验证 本博客所有文章除特别声明外，均采用 CC BY-SA 4.0 协议 ，转载请注明出处！ 毕业设计安排 上一篇 Coq学习——《Software-Foundation》Volume1.6-Logic 下一篇 Please enable JavaScript to view the comments