From 0b0ff01f79bfab369145486a44d395433e04e4b8 Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Mon, 6 Jan 2025 16:06:10 +0100 Subject: [PATCH] linkfix --- docs/100.yaml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/100.yaml b/docs/100.yaml index 991d6a09ae840..e7f8eb83b68c0 100644 --- a/docs/100.yaml +++ b/docs/100.yaml @@ -20,9 +20,8 @@ title : Gödel’s Incompleteness Theorem author : Shogo Saito links : - results : - - First: https://github.com/FormalizedFormalLogic/Incompleteness/blob/master/Incompleteness/Arith/First.lean - - Second: https://github.com/FormalizedFormalLogic/Incompleteness/blob/master/Incompleteness/Arith/Second.lean + First incompleteness theorem: https://github.com/FormalizedFormalLogic/Incompleteness/blob/master/Incompleteness/Arith/First.lean + Second incompleteness theorem: https://github.com/FormalizedFormalLogic/Incompleteness/blob/master/Incompleteness/Arith/Second.lean website: https://formalizedformallogic.github.io/Book/ 7: title : Law of Quadratic Reciprocity