Storage systems with verified correctness properties - View it on GitHub