This repository contains an AI-powered agent system that automatically generates and verifies Lean 4 code, turning natural language problem statements into formally proven Lean programs. It's part of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results