We perform Eliashberg calculations for magnon-mediated superconductivity in a normal metal, where the electron-magnon interaction arises from interfacial coupling to antiferromagnetic insulators. In agreement with previous ...