leanprover

话题找到数量

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

lean lean4 leanprover
Julian
Julian 开发者
503
46
87
+1
排名 #21
4月2日
查看详情
助手