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

 (github.com)

9 points | by kbradero  2 hours ago

No comments yet.