“Why not just use Lean?”

Posted 22 hours ago by ibobev
286 points

https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html

30 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..