返回资讯列表
行业动态
2026/7/29
18 次阅读

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

来源：github.com

来源: https://github.com/jagg-ix/zil-lean 热度: 6 points on HackerNews

来源: https://github.com/jagg-ix/zil-lean

热度: 6 points on HackerNews

评论 (0)

暂无评论，来说点什么吧