418Gyii6kcL._AC_SY200_QL15_.jpg,Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Coq'Art,Coding Theorems of Information Theory | SpringerLink