CH

choukh/Baby-Set-Theory

Coq集合论中文教程

coq math set-theory theorem-proving

No README found.

Contributors

Creative Commons Zero v1.0 Universal

Created October 1, 2021

Updated October 8, 2025