zil-lean
ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain
About
ZIL: a relational knowledge language implemented in Lean 4 with a Clojure runtime and toolchain
Languages
Contributors2
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4)
No features listed.
Comments Theme
Install
Build from source
