search

avigad / lamr

Logic and Mechanized Reasoning
82 stars 20 forks source link

Section 3.4-Typo #3

Open DanPin7679 opened 1 year ago

DanPin7679 commented 1 year ago

Hi, End of second paragraph => repeating "the" "the" the sum of the numbers up to i.