A proof editor and storage website