Dependently typed Clojure DSL with a Lean4 compatible kernel.
Clojure Updated about 2 months ago 1 commits 73 stars
prism-dev|Mirror: replikativ/ansatz (⭐73)
about 2 months agoAbout
Dependently typed Clojure DSL with a Lean4 compatible kernel.
Readme
73 stars
3 forks