ReLoC

ReLoC

A logic for proving contextual refinements [project website]

Forked from Iris / ReLoC