ode class="clojure" data-external-libs="https://raw.githubusercontent.com/clojure/test.check/ebcc57dd631e25ee39bc059899e3bbd9ddf24ee9/src/main/clojure">
    (ns my.test   (:require [clojure.test.check :as tc]
                [clojure.test.check.generators :as gen]
                            [clojure.test.check.properties :as prop :include-macros true]))
    (def sort-idempotent-prop
      (prop/for-all [v (gen/vector gen/int)]
            (= (sort v) (sort (sort v)))))

            (tc/quick-check 100 sort