A book series on the mathematical foundations of computing, formalized in Coq.