Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Print release of a textbook on the Coq proof assistant