#001lean4-skills1 个 skills41744更新于 2026年8月24日占该创作者 100%skill职业分类描述更新lean4未分类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…2026年8月24日已展示 1 / 1 个已收集 Skill。再加载 0 个 skills正在加载 skills...
