Article URL: https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html
Comments URL: https://news.ycombinator.com/item?id=47922079
Points: 17
# Comments: 1
HA
Source
This article was originally published by Hacker News and written by ibobev.
Read original article on Hacker News