Slim205

Lean_prover_v1

Slim205/Lean_prover_v1

Lean_prover_v1 is a machine learning model from Slim205. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as apache-2.0.

This model generates Lean 4 proofs from given theorem statements. For more details, please see https://github.com/Slim205/RL-Lean