rgref. Prototype Implementation of Rely-Guarantee References as a Coq DSL

github.com/csgordon/rgref
by @csgordon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.