Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#311
Document side-effects of importing Iris
Iris should have something
like std++ has
where we document its global, Coq-level side-effects.