Comment by xiaoyu2006 | Hacker News Reader

Top New Best Ask Show Jobs

Comment by xiaoyu2006 | Hacker News Reader

Parent Full thread

Hi! I'd like to know how bend2 differs from Hoare logic or Lean?

Speed.

> The checker file records 0.295 seconds for Bend and 36.177 for Lean on its 12,800-definition fixture. https://bend2.dev/notes/what-is-bend2/

Reply on news.ycombinator.com