Skip to content
Snippets Groups Projects
Select Git revision
  • coq-stdpp-1.0
  • master default protected
  • ralf/options
  • robbert/cbn
  • robbert/from_option
  • robbert/tc_opaque
  • 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
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027May26191276130Apr292320171615111098765432131Mar302519181713109528Feb2625242320191817141311130Jan181716151319Dec622Nov2111762131Oct7119Sep1211529Aug27262423151413713Jul98754330Jun2827262521201814230May26252117151210984330Apr262524231926Mar161514643128Feb2322212017131076129Jan28252419131119Dec1615141230Nov28262220121110984115Oct7430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr2421181110965328Mar2722218623Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827Remove type scope from forall notationMerge branch 'forall-notation' into 'master'notation for forallProve theorem about delete of gset_to_gmapProper instance with `pointwise_relation` for `from_option`.robbert/from_op…robbert/from_optionMerge branch 'msammler/rename_Nat2Z_inj_div' into 'master'rename Z2Nat_inj_div and Z2Nat_inj_modMerge branch 'revert-a2ac9e66' into 'master'Revert "Merge branch 'byte-countable' into 'master'"Merge branch 'byte-countable' into 'master'Add Countable instances for byteMerge branch 'robbert/list_find' into 'master'CHANGELOG entry.Lemmas for `list_find` in combination with `app` and `insert`.Make `list_find_Some` more `apply` friendly.Merge branch 'msammler/rotate' into 'master'Added rotate_nat_add, rotate_nat_sub, rotate and rotate_take functionsMerge branch 'ralf/map-forall-lookup' into 'master'prove lemma in both directionsMerge branch 'bool-leb2' into 'master'overlay for coq/coq#12162add map_Forall_lookupMerge branch 'patch-1' into 'master'tactics.v: Fix parsing precedence for `select` tacticMerge branch 'ascii-countable' into 'master'Add Countable instance for Ascii.asciiAvoid overly long line.Merge branch 'msammler/fix_imap_seq0' into 'master'fix imap_seq and imap_seq0 to make them usefulMerge branch 'msammler/hintdb_discriminated' into 'master'Merge branch 'msammler/select_tac' into 'master'Create HintDBs with the discriminated optionMerge branch 'list-filter-app' into 'master'Add filter_app lemmaMerge branch 'irrel-unit' into 'master'Add `ProofIrrel ()`Added select and select_revert tacticsMerge branch 'msammler/list_numbers' into 'master'Extracted list_numbers.v with seq, seqZ, sum_list and max_listMerge branch 'robbert/encode_Z' into 'master'