prove libre