Formal Construction of a Set Theory in Coq

Articles

• https://www.ps.uni-saarland.de/Publications/documents/Kaiser_2012_Formal.pdf
• https://www.ps.uni-saarland.de/settheory.html

Credits

• Jonas Kaiser
• Prof. Dr. Gert Smolka (supervisor)
• Dr. Chad E. Brown (advisor)