This is ReLoC v2, built on top of heap_lang.
"theories/git-rts@gitlab.mpi-sws.org:iris/reloc.git" did not exist on "f11d6acda61a7dbd3669c43fde2767ea8cdaabf3"
Dan Frumin
authored
| Name | Last commit | Last update |
|---|---|---|
| theories | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| _CoqProject |