Skip to content
GitLab
Explore
Sign in
Simon Spies
stdpp
Repository
stdpp
theories
option.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