This repository has been deleted

Our apologies, but the repository "Peter_Sewell/lem" has been deleted.

It now lives at https://github.com/rems-project/lem.