Viewing profile — allxnb
allxnb
HN member- Joined
- Fri, Jul 26, 2024, 8:53 AM UTC
- HN karma
- -2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About allxnb
No profile information was provided.
Recent public activity
-
comment
Comment #41076993
Presenting this just as "translating into formal language" omits important information. Lean isn't just a formal language, it is also a theorem prover, Could the IMO participants u…