Viewing profile — kurgsim22
kurgsim22
HN member- Joined
- Fri, Mar 21, 2025, 2:49 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About kurgsim22
No profile information was provided.
Recent public activity
-
comment
Comment #48825013
theoremgraph/theoremsearch, which comes from the two papers published by the math ai lab at the university of washington. search tool links: https://www.theoremsearch.com/ ( https:…