Anatomy of a Lean proof for software engineers (agostbiro.net)
48 points by abiro a day ago
watt 18 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.