(ns proof.core
  (:gen-class))

(defn -main
  [x]
  (eval '(ns my.namespace)))