HN 热议 · 6 分 / 0 条评论
原文：https://github.com/jagg-ix/zil-lean
Show HN：基于Google Zanzibar的Lean4 Datalog DSL 适配AI项目开发
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
摘要 · HN 热议 · 6 分 / 0 条评论
阅读原文 · Hacker News →0 条评论 · 观点来自社区
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
HN 热议 · 6 分 / 0 条评论
原文：https://github.com/jagg-ix/zil-lean
评论区 0 条讨论