lamr
lamr copied to clipboard
Published
3 months ago
•
avigad
avigad
Logic and Mechanized Reasoning
Results
2
lamr issues
Sort by
recently updated
recently updated
newest added
Hi, End of second paragraph => repeating "the" "the" the sum of the numbers up to i.
Minor typo correction, change as follows: Replace: `...means that we principles of recursion and induction...` With: `...means that we *can use* principles of recursion and induction...` It looks like the...
