Abhishek Anand

It would be nice to do a formal proof of some guarantees that this software would not, e.g., delete files due to bugs/oversight. There were cases of Dropbox doing this which is when I stopped using it.