Select Git revision
coq-stdpp-1.0
master
mraise
coq-stdpp-1.0.0
coq-stdpp-1.1.0
coq-stdpp-1.2.0
coq-stdpp-1.2.1
coq-stdpp-1.3.0
coq-stdpp-1.4.0
coq-stdpp-1.5.0
coq-stdpp-1.6.0
coq-stdpp-1.7.0
coq-stdpp-1.8.0
ci-release
ci/msammler/more_feed
ci/refactor_staging
dfrumin/coq-stdpp-set_map_2
msammler/bitvector
msammler/bool_decide_simpl_never
msammler/monad_without_universe_constraints
ralf/empty-opaque
ralf/hint-mode-check
ralf/hint-mode-plus
ralf/listZ
ralf/lookup_insert
ralf/make_simple_intropattern
ralf/multiset-solver
robbert/cancel_inj_surj
robbert/cbn
robbert/f_equiv_pointwise
robbert/from_option
robbert/map_Forall_Exist
robbert/map_disjoint_difference
robbert/map_filter_True_False
robbert/map_fold_foldr
robbert/multiset_singleton
robbert/new_stuff
robbert/rel_decision
robbert/set_fold_delete
robbert/set_guide
robbert/tc_opaque
tchajed/stdpp-sprop-gmap
coq-stdpp-1.10.0
coq-stdpp-1.11.0
coq-stdpp-1.9.0