Added setup and proof sections to README