HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Reasoning About Code | Hacker News Reader
Reasoning About Code
cs.williams.edu
1 point
·
rramadass
·
·
1 comment
Open article
Save
View on HN
rramadass
(original poster)
·
Part 2 here :
https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.htm...
A short tutorial that is nice and succinct.
Reply on news.ycombinator.com