lean4-memories
Productivité14 installation(s)v0.1.0This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, projec...
Ce skill s'installe en un clic sur un agent AIbergement (runtime OpenClaw) — il sera chargé et utilisé automatiquement lors des prochains tours de votre agent.