Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
vcgen
vcg.v
Find file
Blame
History
Permalink
strong spec (with ▷) for cwp_seq_bind
· 1ee95d7b
Dan Frumin
authored
Feb 03, 2019
1ee95d7b