Get the latest tech news
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain - jagg-ix/zil-lean
None
Or read this on Hacker NewsRead more on:
Related news:
