news.ycombinator.com
网页
综合
New Comments | Hacker News
…n computing device, https://news.ycombinator.com/item?id=47367568 Just next to this word, there is "Lean verification", which is not about arithmetic but about the logic. But the problem is …
2026-11-13
自动蜘蛛
相关度 4.9