Viewing profile — aoinveonasdf
aoinveonasdf
HN member- Joined
- Sun, Jun 14, 2026, 10:24 PM UTC
- HN karma
- 9
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About aoinveonasdf
No profile information was provided.
Recent public activity
-
comment
Comment #48534384
It should be noted that this is a PR piece for a "math" startup. The result doesn't look particularly interesting, from either a mathematical or Lean code standpoint, as far as I c…