Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
base.v
Find file
Blame
History
Permalink
Document the `Program` options that we change.
· 0d0be97b
Robbert Krebbers
authored
Oct 28, 2017
This addresses some concerns in !5.
0d0be97b