alt
Hacker News
101008
•
today at 4:57 AM
•
0 replies
•
view on HN
I'm working on a Math product as a side project and AI is really bad at writing Lean, too
alt Hacker News