Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
fin_collections.v
Find file
Blame
History
Permalink
Add `collection_map` and some basic theory about it.
· 1d074701
Robbert Krebbers
authored
Oct 04, 2018
This makes some proress on #21. Still, the question remains if a more generic solution exists.
1d074701