Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
David Swasey
coq-stdpp
Repository
coq-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
