hacker-news feeds.twtxt.net Sun, Jul 28 16:34 (17w ago) LeanDojo: Theorem Proving in Lean Using LLMs Comments ⌘ Read more ⤋ Read More