Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
bi
lib
atomic.v
Find file
Blame
History
Permalink
Use `_` intro pattern for `True`.
· 9e2af621
Robbert Krebbers
authored
Jan 07, 2021
9e2af621