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