/lean-gpt

Pre-prompt for ChatGPT-4 AI Assistant to do Lean Theorem Prover proofs.

MIT LicenseMIT

Stargazers