Proserpine (Proserpina) is an opera with music by Jean-Baptiste Lully and a libretto by Philippe Quinault first performed at Saint-Germain-en-Laye on 3 February 1680.