Viewing profile — sf12sd
sf12sd
HN member- Joined
- Mon, Aug 03, 2026, 4:58 PM UTC
- HN karma
- -1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About sf12sd
No profile information was provided.
Recent public activity
-
comment
Comment #49158456
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html Who is going to wade through this?