minor

bsubercaseaux · Sep 7, 2024 · 99b245e · 99b245e
1 parent 05687fd
commit 99b245e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ITP/slides.typ b/ITP/slides.typ
@@ -330,6 +330,7 @@ We verified it, and used it to check the lower bounds.
 
 == Final theorem
 
+#[
 #set text(size: 24pt)
 ```lean
 axiom unsat_6hole_cnf : (Geo.hexagonCNF 30).isUnsat
@@ -344,6 +345,7 @@ theorem holeNumber_6 : holeNumber 6 = 30 :=
     (552, 502), (754, 697), (777, 194), (1259, 320)
   ])
 ```
+]
 
 == Bibliography