‹ BackHN Continuity

Thread

Anatomy of a Lean proof for software engineers

128 points · 76 comments · abiro

  1. WalterGR · · focus · HN ↗
    OP: Your article shows “[Contents]” where presumably the table of contents is to be displayed.
    1. alexeldeib · · focus · HN ↗
      It's a button
      1. WalterGR · · focus · HN ↗
        So it is. If it looked like the links and not normal text, that would be more clear.
        1. abiro · · focus · HN ↗
          Thanks for the feedback, it should be better now.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.