Unmaintained repository. See here for a maintained fork.
Formalizes the ordered RA model of Iris from the MoSeL paper