418Gyii6kcL._AC_SY200_QL15_.jpg,Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Coq'Art,Period Domains over Finite and p-adic Fields,The Theory of Error-Correcting Codes (Volume 16) (North