Prepare for release

Fix error Add links
flypitch · Oct 22, 2019 · 4ac9413 · 4ac9413
1 parent 28f0e06
commit 4ac9413
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README.org b/README.org
@@ -66,6 +66,8 @@ A summary of the main results can be found in [[src/summary.lean]], containing ~
 We also have a formula pretty-printer which prints de Bruijn indexed-formulas as their named representations. Code and examples for the pretty-printer can be found in [[src/print_formula.lean]].
 
 *** Papers
+Our paper /A formal proof of the independence of the continuum hypothesis/, describing [[https://github.com/flypitch/flypitch/releases/tag/2.1][this release]], has been submitted to [[https://popl20.sigplan.org/home/CPP-2020][CPP 2020]]. It is available [[https://github.com/flypitch/flypitch-cpp-2020/releases/tag/1.0][here]].
+
 Our paper /A formalization of forcing and the unprovability of the continuum hypothesis/, describing [[https://github.com/flypitch/flypitch/releases/tag/1.2][this release]], was accepted to [[https://itp19.cecs.pdx.edu/][ITP 2019]]. It is available [[https://github.com/flypitch/flypitch-itp-2019/releases/tag/1.1][here]].
 
 **** Citation information:

diff --git a/src/summary.lean b/src/summary.lean
@@ -46,7 +46,7 @@ This file summarizes:
 
 #print ZFC
 
-#eval print_formula_list ([axiom_of_emptyset, axiom_of_pairing, axiom_of_extensionality, axiom_of_union, axiom_of_powerset, axiom_of_infinity, axiom_of_regularity, zorns_lemma])
+#eval print_formula_list ([axiom_of_emptyset, axiom_of_ordered_pairs, axiom_of_extensionality, axiom_of_union, axiom_of_powerset, axiom_of_infinity, axiom_of_regularity, zorns_lemma])
 
 #print CH