HN.zip
?
Anatomy of a Lean proof for software engineers
52 points by abiro - 1 comments
watt
[3 hidden]
5 mins ago
This Lean stuff is gibberish and I don't understand why somebody thinks it's going to somehow make things better or simpler to understand.