Dependently typed Clojure DSL with a Lean4 compatible kernel. - View it on GitHub