Dependently typed Clojure DSL with a Lean4 compatible kernel

 (github.com)

2 points | by yogthos 8 hours ago ago

No comments yet.