由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

lean4

话题找到数量

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

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