Anatomy of a Lean proof for software engineers
53 points - yesterday at 6:53 PM
SourceComments
watt today at 9:13 PM
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.