Microsoft is kind of like McDonald's. If I want a decently cooked burger I should cook it myself. If I am totally unfamiliar with an area, I go to McDonalds.

Microsoft is kind of like McDonald's. If I want a decently cooked burger I should cook it myself. If I am totally unfamiliar with an area, I go to McDonalds. I expect a certain minimum from Microsoft and the book exceeds that. Also UPenn's Software Foundations is written in CoQ https://www.cis.upenn.edu/~bcpierce/sf/current/index.html https://www.cis.upenn.edu/~bcpierce/sf/current/index.html