Viewing profile — vibe1337prover
vibe1337prover
HN member- Joined
- Mon, Aug 25, 2025, 8:07 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About vibe1337prover
No profile information was provided.
Recent public activity
-
comment
Comment #45011456
I worked a bit on formalizing math using assisted theorem provers, and found that good theorems are basically well coded functions. I think both the perspectives complement each ot…