cotalks.dev

Model Checking in Clojure

(link)
Channel: reclojure