Coq Formalization of ZFC Set Theory for Teaching Scenarios.
In: International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357
Online
academicJournal
Zugriff:
Titel: |
Coq Formalization of ZFC Set Theory for Teaching Scenarios.
|
---|---|
Autor/in / Beteiligte Person: | Wan, Xinyi ; Xu, Ke ; Cao, Qinxiang |
Link: | |
Zeitschrift: | International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 1673-7288 (print) |
DOI: | 10.21655/ijsi.1673-7288.00303 |
Sonstiges: |
|