replikativ/ansatz

Dependently typed Clojure DSL with a Lean4 compatible kernel.

语言：Clojure · GitHub 星标：83 · Fork：3

话题：clojure · lean4 · theorem-proving · verification

在 GitHub 上查看原仓库