[open_bear]

What do you think about clojure.spec approach?

[empthought]

Those aren't proofs at all, and the docs even say so.