A Critical Look at Lean4
By demibabs · 2026-10-11 · 1 points · 0 comments
https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1
By demibabs · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews