Website for the Foundations of Software course at EPFL in the Fall 2015 semester - View it on GitHub