‹ BackHN Continuity

Thread

Anatomy of a Lean proof for software engineers

128 points · 76 comments · abiro

  1. lolakutty · · focus · HN ↗

    [dead]

    1. whattheheckheck · · focus · HN ↗
      Yeah if were going for knuths literate programming this is not it. We dont need 1000 lines of more code to prove another 100 lines. It needs to be more digestible and if its not possible then let's break out the licensing board to prove the ones who do understand this from those who dont
      1. lolakutty · · focus · HN ↗
        licensing board?

        except for that I understood everything else you said..

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.