LeanDojo: Theorem Proving in Lean Using LLMs #1 Post by aseg » Thu, Jun 29, 2023, 7:31 PM UTC LeanDojo: Theorem Proving in Lean Using LLMsleandojo.org