[HN Gopher] LeanDojo: Theorem Proving in Lean Using LLMs
       ___________________________________________________________________
        
       LeanDojo: Theorem Proving in Lean Using LLMs
        
       Author : aseg
       Score  : 8 points
       Date   : 2024-07-28 22:34 UTC (25 minutes ago)
        
 (HTM) web link (leandojo.org)
 (TXT) w3m dump (leandojo.org)
        
       ___________________________________________________________________
       (page generated 2024-07-28 23:00 UTC)