搜索结果：lean4（1 个）

今日热门（多来源加权）本周热门本月热门最近新增 Star 增长最快 Fork 增长最快商业潜力较高适合个人开发者

按分类缩小范围

全部分类 AI 应用与 AI Agent AI 模型与开发框架自动化与工作流数据分析与数据处理网站与 SaaS 工具效率与办公工具图像、视频与音频内容创作与媒体工具电商与营销工具游戏与娱乐网络与基础设施开发者工具安全与隐私工具教育与学习其他

lean.nvim

商机 55

为 Lean 定理证明器提供支持的 Neovim 插件。

Lua 623 63 2026-11-11

效率与办公工具开发者工具部署：中等