Anatomy of a Lean proof for software engineers
52 points by abiro 2 days ago | 1 comments

watt 58 minutes 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.
reply