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