Coq学习——Coq-vs.-Set-Theory

Coq vs. Set Theory