GitHub repository: rjain2470/lean-prover
Primary language: Python
Description: This repo aims to create an autoformalization tool which can produce a formal proof of a given theorem in Lean. [IN PRODUCTION]