coq && ssreflect summer school 2014
software foundation