"Why not just use Lean?"]
Available in: 中文
Read the full article: ["Why not just use Lean?"]](https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html)
"Why not just use Lean?"]
Source
Originally published on hacker news.
Read the full article: ["Why not just use Lean?"]](https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html)
← Previous: Dutch central bank ditches AWS and chooses Lidl for European Cloud]Next: Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop] →
0