Forked from
Iris / Iris
8301 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
lib/recdom | ||
.dir-locals.el | ||
core_lang.v | ||
iris.v | ||
lang.v | ||
masks.v | ||
world_prop.v |
carrier of the monoid. This now corresponds exactly to the formulation of monoids in rose.v
Name | Last commit | Last update |
---|---|---|
lib/recdom | ||
.dir-locals.el | ||
core_lang.v | ||
iris.v | ||
lang.v | ||
masks.v | ||
world_prop.v |