Article URL: https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html Comments URL: https://news.ycombinator.com/item?id=47922079 Points: 295 # Comments: 203 [原文鏈接]
Article URL: https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html Comments URL: https://news.ycombinator.com/item?id=47922079 Points: 295 # Comments: 203 [原文鏈接]