Moved everything in "proof" folder