Does lein-typed work with typedclojure or is it specifically for core.typed?
It might. Both contain clojure.core.typed.