R

ReLoC

A calculus of logical relations for concurrency, formalized in Iris.

Name Last update
docs Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
comments.org Loading commit data...