added a proof.v file and fixed small bug in getName