Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • robbert/set_map_filter
  • ralf/hint-mode-check
  • msammler/bitvector
  • hai/more_finmaps
  • robbert/multiset_singleton
  • robbert/cbn
  • robbert/from_option
  • robbert/tc_opaque
  • coq-stdpp-1.0
  • coq-stdpp-1.5.0
  • coq-stdpp-1.4.0
  • coq-stdpp-1.3.0
  • coq-stdpp-1.2.1
  • coq-stdpp-1.2.0
  • coq-stdpp-1.1.0
  • coq-stdpp-1.0.0
17 results
Compare
Forked from Iris / stdpp
Source project has a limited visibility.
user avatar
Add `Inj` instances for `fmap` on option and maps.
Robbert Krebbers authored 
Thanks to @jules for pointing out these were missing.
5424f22a
History
user avatar 5424f22a
History
Name Last commit Last update