Skip to content
GitLab
Explore
Sign in
Iris
ReLoC
Issues
#11
Xchg lemma is Admitted
I was doing
Print Assumptions
and noticed an Admitted in ReLoC
here
.