Anatomy of a Lean proof for software engineers

1 comments

• watt 28 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.