▲ 2 ▼ Dependently typed Clojure DSL with a Lean4 compatible kernel (github.com) submitted 4 months ago by cm0002@infosec.pub to c/clojure@programming.dev comment fedilink hide all child comments
no comments (yet)