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