Viewing profile — kartwna
kartwna
HN member- Joined
- Sat, Dec 28, 2024, 9:58 AM UTC
- HN karma
- -3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About kartwna
No profile information was provided.
Recent public activity
-
comment
Comment #42529907
"I have found it works surprisingly well for writing mathematical LaTeX, as well as formalizing in Lean; indeed, it assisted in writing this very article by suggesting several sent…