Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
Define `wf_guard` in terms of Coq stdlib's `Acc_intro_generator`.
· c92654ed
Robbert Krebbers
authored
Nov 09, 2017
c92654ed