logoalt Hacker News

Jaxan • today at 5:48 AM • 1 reply • view on HN

Wouldn’t a lot already be in leans mathlib?

Replies

throw567643u8 • today at 6:29 AM

AI is hopeless at using existing code, it likes to append only.