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

lean4

话题找到数量

fabio-rovai/open-ontologies

Rust

计划、应用和回滚对生产本体的更改，并提供爆炸半径报告和审核员可以重新检查的证据。

ai-native description-logics formal-verification
fabio-rovai
fabio-rovai 开发者
1.8k
225
676
+343
排名 #4
10月27日
查看详情

Julian/lean.nvim

Lua

Neovim 对 Lean 定理证明器的支持

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