Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
Add lemmas `rtc_nsteps_{1,2}` and `rtc_bsteps_{1,2}`.
· 5c7bdf2d
Robbert Krebbers
authored
Jun 16, 2021
5c7bdf2d