Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
Intuition for decidability of `red` in `wn_sn`.
· 613153f3
Robbert Krebbers
authored
Apr 07, 2020
613153f3