Skip to content
Snippets Groups Projects
Select Git revision
  • ci/artifacts
  • ci/buildcache
  • ci/coqdoc
  • ci/debug
  • ci/opam2
  • ci/perf
  • ci/ralf/mangled
  • coq-stdpp-1.0
  • fix-export
  • instance-nobody-open-proof
  • master default protected
  • options
  • ralf/exact_vm_cast
  • ralf/notation
  • robbert/map_seq
  • robbert/set_rename
  • coq-stdpp-1.1.0
  • coq-stdpp-1.0.0
18 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.028Jun27262521201814230May26252117151210984330Apr2625241926Mar161514643128Feb2322212017131076129Jan28252419131119Dec16151412330Nov28262220121110984130Oct2917157430Sep181Aug23Jul171030Jun292825232120181410976530May2928242314927Apr242119181110965328Mar27222186123Feb22211916151312983231Jan25231413121019Dec181785429Nov282221201816121193131Oct2827242019181716131097629Sep28272624212019181786222Aug17825Jul26Jun30May251Apr20Mar171615141198123Feb221916151413109764331Jan9Dec86529Nov2423222120191817161510727Oct134328Sep27212014929Aug2422191784SeqZ FunctionProve `Sorted_reverse`.Put fmap sorting lemmas in a section.Merge branch 'robbert/involutive' into 'master'Merge branch 'ci/robbert/naive_solver' into 'master'Merge branch 'feature/permutation_proper' into 'master'Define `Involutive` in terms of `Cancel`.added two proper instance with permutationsPerform `fast_done` first in `naive_solver`.`SetUnfold` instances for `reverse` and `fmap` on lists.Equalities for `list_merge` with `[]` arguments.Add class `Involutive`.Merge branch 'ralf/proper-dom' into 'master'show a Proper instance for domAdd `proj1_ex` and `proj2_ex` when ∃ over `Prop`.Merge branch 'ralf/solve_ndisj' into 'master'coqdoc++more generalization of lemmas and a few comments for [solve_ndisj]move some general set lemmas to sets.v; organize ndisj hints a bitmake solve_ndisj more powerfulfix ref tests for Coq 8.10+test solve_ndisj a bitMerge branch 'ralf/bool_decide' into 'master'add unfolding lemma for bool_decide: bool_decide_decideMerge branch 'robbert/vector' into 'master'Some missing results about vectors.Add lemma `vec_to_list_replicate`.Infinite docs: mention the generic constructions that should usually be usedAdd `set_fold_ind_L`.`max` and `min` infix notations for `N` and `Z` like we have for `nat`.comment normalization_CoqProject formattingtest 8.9.1, no longer test 8.7.0, 8.7.1Merge branch 'inh-string' into 'master'Merge branch 'fix-typo-instance-name' into 'master'Strings are inhabitedFix typo in instance nametest 8.10 beta branchtreat API pipelines like schedules and triggersAnother attempt at a `RelDecision` instance for `flip`.