02:22
2026-07-29
github.com
developer-tools
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
A new open-source Lean 4 Datalog DSL called ZIL, inspired by Google's Zanzibar authorization system, allows developers to model relationships between code, requirements, tests, and tasks using compact…