Dependently typed Clojure DSL with a Lean4 compatible kernel

**Project Summary** This open-source project offers a dependently typed Clojure DSL with a Lean4 compatible kernel, providing a unique workflow for developers.