Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
natmap.v
Find file
Blame
History
Permalink
Make uses of Arguments more rubust.
· 24aef2fe
Robbert Krebbers
authored
Sep 08, 2017
See also Coq bug #5712.
24aef2fe