lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

Le contexte du projet sur cette page est accessible gratuitement. Le dépôt GitHub d’origine reste la référence ; la connexion n’est nécessaire que pour enregistrer ou rejoindre la discussion.