jagg-ix/zil-lean

Zil lang DSL for Lean 4

18 best points · 2 comments · 1 Hacker News post · 34 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (18 points, 2 comments, by kbradero, 2026-07-29)