jagg-ix / 项目仓库

zil-lean

Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

开发者工具Show HN许可证待核实

访问项目仓库简介源于 HN 标题，原作者主张未经独立验证。

2最高 HN 分数

0评论总数

1关联讨论

回到原始讨论

看看社区怎么说

0 条评论2026-07-29by kbradero