Skip to content
F

Fairis

Project ID: 655

Unmaintained repository. An extension of the Iris program logic to support linearity and fair refinement reasoning.