RSS BotMB to Lobste.rsEnglish · 2 months ago

Dependently typed Clojure DSL with a Lean4 compatible kernel

0

2

Dependently typed Clojure DSL with a Lean4 compatible kernel

RSS BotMB to Lobste.rsEnglish · 2 months ago

0

GitHub - replikativ/ansatz: Dependently typed Clojure DSL with a Lean4 compatible kernel.

Dependently typed Clojure DSL with a Lean4 compatible kernel. - replikativ/ansatz

You must log in or # to comment.

Chat