Clojure library for creating executable formal specifications.