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.