coq-learning Transcripts and supplemental materials for the "Logic and Proofs" seminar held at Google Zürich in the beginning of 2013.