Project documentation for 6.811