‹ BackHN Continuity

Thread

Anatomy of a Lean proof for software engineers

128 points · 76 comments · abiro

  1. watt · · focus · HN ↗
    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.
    1. fooker · · focus · HN ↗
      Perhaps when you don't understand something, your first step should be trying to understand it?

      Especially when it is something other smart people have been advocating.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.