Example proof service in Clojure - colors for everyone! - View it on GitHub