Lean 4 Skills
Free265 GitHub stars
Learning ResourceAgnosticFile System
Overview
Lean 4 Skills provides a comprehensive pack of skills and workflows for AI coding agents focused on theorem proving. It is ideal for developers and researchers looking to enhance their AI projects with formal verification techniques.