描述
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching…
软件工程 / 诊断修复
lean4
lean4
安装量 99GitHub Stars 256更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
uiapidebugginglean4editingleanfilesbuildstypemismatchsorryfailed