Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
barrier
barrier.v
Find file
Blame
History
Permalink
move the proofs that we can perform stps in the STS to their own lemmas
· e7d1d5d0
Ralf Jung
authored
Feb 21, 2016
e7d1d5d0