Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
By kbradero · 2026-07-29 · 6 points · 0 comments
https://github.com/jagg-ix/zil-lean
Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big e…
Open the full discussion on BetterNews