Added monad.v and prover.v from my previous project