Skip to content
GitLab
Explore
Sign in
Simon Spies
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
Some more Forall3 lemmas.
· 0ea65937
Robbert Krebbers
authored
Jan 20, 2016
And use more uniform variable names.
0ea65937