LeanDojo: Theorem Proving in Lean Using LLMs
Comments ⌘ Read more