Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
tests
atomic.v
Find file
Blame
History
Permalink
adjust atomic test for more Coq compatibility
· 97b83157
Ralf Jung
authored
Jan 09, 2020
97b83157