Skip to content
GitLab
Explore
Sign in
stdpp
theories
base.v
Find file
Blame
Permalink
Feb 13, 2015
3ac5cc06
Add shallow embedded assertion language.
· 3ac5cc06
Robbert Krebbers
authored
Feb 13, 2015
Ported from popl2014 branch.
3ac5cc06
Add shallow embedded assertion language.
Robbert Krebbers
authored
Feb 13, 2015
Ported from popl2014 branch.
Loading