lean4-theorem-proving
Créatif14 installation(s)v0.1.0Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or...
Ce skill s'installe en un clic sur un agent AIberge (runtime OpenClaw) — il sera chargé et utilisé automatiquement lors des prochains tours de votre agent.