O

oRA

Project information

Unmaintained repository. See here for a maintained fork.

Formalizes the ordered RA model of Iris from the MoSeL paper

62 Commits
2 Branches
0 Tags

BSD 3-Clause "New" or "Revised" License

Created on

March 04, 2018

Loading