Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Submitted by kbradero.

12 points