Julian/lean.nvim
Neovim support for the Lean theorem prover
Julian/lean.nvim 对新手友好吗？
近期外部贡献者向 Julian/lean.nvim 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前有 1 个适合新手的 issue 开放。
- 星标
- 601
- 派生
- 61
- 开放的新手 issue
- 1
- 已索引 issue
- 36
- 平均合并
- 3 天 14 小时
- 30 天内合并 PR
- 7
如何为 Julian/lean.nvim 做贡献
- 先读贡献指南：它说明了维护者希望如何提出、测试和评审改动。
- 你的贡献将以该项目的 MIT 许可证发布。
- 选下方那个开放的新手友好 issue，开始之前先留言说明你想认领它。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
难度 3/5 半天 新手友好度 35/100
-
难度 2/5 1-3 小时 新手友好度 88/100
-
难度 4/5 3-5 天 新手友好度 48/100
-
难度 3/5 1-2 天 新手友好度 58/100
-
难度 3/5 1-2 天 新手友好度 68/100
-
难度 3/5 1-2 天 新手友好度 48/100
-
bug
难度 4/5 3-5 天 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
bug
难度 3/5 1-2 天 新手友好度 38/100
-
难度 4/5 3-5 天 新手友好度 42/100
-
难度 4/5 3-5 天 新手友好度 25/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
-
enhancement
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement
难度 3/5 1-2 天 新手友好度 35/100
-
enhancement
难度 3/5 1-2 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
-
bug
难度 3/5 1-2 天 新手友好度 35/100
-
bug
难度 3/5 1-2 天 新手友好度 45/100
-
enhancement infoview
难度 5/5 一周以上 新手友好度 35/100
-
bug
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
-
enhancement infoview
难度 5/5 一周以上 新手友好度 25/100
-
enhancement infoview
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement
难度 3/5 1-2 天 新手友好度 42/100
-
enhancement infoview
难度 5/5 一周以上 新手友好度 25/100
-
enhancement help wanted
难度 5/5 一周以上 新手友好度 25/100
-
Configurably autoclose the infoview if it has no Lean buffers updating it可能重新可做 关联的 PR 已关闭且未合并。 未关闭enhancement infoview
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
-
enhancement infoview
难度 3/5 1-2 天 新手友好度 30/100
-
Still show last compiled goal-state while `Processing file...`可能已有人在做 @valeratrades 于 210 天前认领。 未关闭enhancement
难度 4/5 3-5 天 新手友好度 40/100
-
Make how and when the infoview updates more configurable, particularly for cases when it goes blank可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭enhancement infoview
难度 5/5 一周以上 新手友好度 25/100