Update open-logic.bib

OpenLogicProject · Nov 16, 2024 · 73a304e · 73a304e
1 parent 4962295
commit 73a304e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bib/open-logic.bib b/bib/open-logic.bib
@@ -1276,7 +1276,7 @@ @misc{Cheng2004
   author = {Eugenia Cheng},
   title = {How to Write Proofs: A Quick Quide},
   year = {2004},
-  url = {http://http://eugeniacheng.com/wp-content/uploads/2017/02/cheng-proofguide.pdf}
+  url = {https://eugeniacheng.com/wp-content/uploads/2017/02/cheng-proofguide.pdf}
 }
 
 @book{Smullyan1968,