#001lean4-skills1 skills41744mis à jour 24 août 2026100 % du créateurskillmétierdescriptionmis à jourlean4non classéUse when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving…24 août 2026Affichage de 1 skills collectés sur 1.Charger 0 skills de plusChargement des skills...