# mit6011-readme

A scratch repository for the MIT-6011 live proof. It holds only this README.