Skip to content
Snippets Groups Projects
Select Git revision
  • adamAndMath/mfail
  • janno/tc-opaque-unseal
  • master default protected
  • ralf/empty-opaque
  • ralf/listZ
  • ralf/hint-mode-plus
  • ci-release
  • robbert/set_fold_union
  • ci/msammler/more_feed
  • ci/msammler/_1_2_lemmas
  • dfrumin/coq-stdpp-set_map_2
  • robbert/set_guide
  • msammler/bitvector
  • msammler/bool_decide_simpl_never
  • robbert/map_filter_True_False
  • tchajed/stdpp-sprop-gmap
  • ralf/hint-mode-check
  • robbert/multiset_singleton
  • robbert/f_equiv_pointwise
  • robbert/cbn
  • coq-stdpp-1.8.0
  • coq-stdpp-1.7.0
  • coq-stdpp-1.6.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
30 results
Forked from Iris / stdpp
Source project has a limited visibility.
Robbert Krebbers's avatar
Merge branch 'robbert/remove_coq_14571_workaround' into 'master'
Robbert Krebbers authored 
Remove Permutation Proper workaround that is not needed in Coq >= 8.15.

See merge request iris/stdpp!486
37eafc88
History
Robbert Krebbers's avatar 37eafc88
History
Name Last commit Last update