Add Coq and Agda books