Roll storage proofs
In this MR I have proved the functional properties of the file Roll_storage.v.
I also add the folder Protocol_alpha/Proofs/docs contains the documentation of the work on Protocol_alpha/Proofs/Roll_storage.v.
In this MR I have proved the functional properties of the file Roll_storage.v.
I also add the folder Protocol_alpha/Proofs/docs contains the documentation of the work on Protocol_alpha/Proofs/Roll_storage.v.