Semantic Scholar Open Access 2004 7 sitasi

Set-theoretical mathematics in Coq

C. Simpson

Lihat Sumber

Abstrak

We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be removed in revision, and also contains as a tar-attachment to the source file the revised and expanded version of the proof development which had been attached to math.HO/0311260.

Topik & Kata Kunci

Mathematics

Penulis (1)

C. Simpson

Format Sitasi

APA MLA BibTeX

Simpson, C. (2004). Set-theoretical mathematics in Coq. https://www.semanticscholar.org/paper/b1cf11474dc8f1fdbed56ec448b4e5fb0f2fe323

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2004
Bahasa: en
Total Sitasi: 7×
Sumber Database: Semantic Scholar
Akses: Open Access ✓