A.- Le 7 mai 1998, la société X._ Ltd (ci-après: X._ Ltd) a fait notifier à Y._ SA un commandement de payer la somme de 564'823 fr.80, plus intérêts à 8% dès le 26 novembre 1996, auquel la poursuivie a formé opposition. La poursuivante se fonde sur un jugement rendu le 26 novembre 1996 par la High Court of Justice de Londres; cette décision est dépourvue de considérants de fait et de droit. Après le rejet d'une première requête, la poursuivante a demandé derechef la mainlevée définitive de l'opposition, en produisant une attestation établie le 17 mars 1999 par un dénommé M._, master of the Supreme Court of England and Wales; ce document certifie, notamment, que l'acte introductif d'instance a été valablement notifié à la défenderesse, que la compétence du tribunal - qui n'a pas été contestée - repose sur l'art. 17 de la Convention de Lugano et que le jugement, rendu par défaut, est exécutoire. B.- Statuant le 3 juin 1999, le Président du Tribunal du district de Lausanne a refusé la mainlevée; par arrêt du 23 mars 2000, la Cour des poursuites et faillites du Tribunal cantonal vaudois a confirmé ce prononcé. C.- Agissant par la voie du recours de droit public au Tribunal fédéral, X._ Ltd conclut à l'annulation de cet arrêt. L'intimée propose le rejet du recours, alors que la cour cantonale se réfère à sa décision.