Comment on Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]Comments−dang6yRecent and related: https://news.ycombinator.com/item?id=22789953https://news.ycombinator.com/item?id=22390486https://news.ycombinator.com/item?id=21200721https://news.ycombinator.com/item?id=20909404(These are links for the curious. I add that because readers sometimes assume that we're chiding people for posting related things. Pas du tout!)
Comments
Recent and related: https://news.ycombinator.com/item?id=22789953
https://news.ycombinator.com/item?id=22390486
https://news.ycombinator.com/item?id=21200721
https://news.ycombinator.com/item?id=20909404
(These are links for the curious. I add that because readers sometimes assume that we're chiding people for posting related things. Pas du tout!)