Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
collections.v
Find file
Blame
History
Permalink
Add documentation, add license, simplify build process, some reorganization,
· e79e91f7
Robbert Krebbers
authored
Aug 29, 2012
improve some definitions, simplify some proofs.
e79e91f7