readme

Author: 5HT

README.md

@@ -0,0 +1,16 @@
+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)
+