How closure spec differs from property based testing libraries, such as Haskell QuickTest?

Other languages have property based testing libraries, like Haskell QuickTest. How clojure spec differs from such libraries? Or is it just a property based testing framework for clojure?