diff --git a/Instructor/Quizzes/quiz1.lean b/Instructor/Quizzes/quiz1.lean index 4cfaa664..07c84b6d 100644 --- a/Instructor/Quizzes/quiz1.lean +++ b/Instructor/Quizzes/quiz1.lean @@ -10,7 +10,7 @@ need for this class. What is the type of (the identifier) Bool in Lean? -Replace the blank with your answer here: ____ +Replace the blank with your answer here: Type Remember you can use Lean to #check your answer! -/ @@ -21,7 +21,7 @@ Remember you can use Lean to #check your answer! Is class moving too fast, too slow, or about right for you? -Write your answer here: __________ +Write your answer here: About right If you said "too fast," please explain briefly what ideas you're most struggling with, here: