Commits · master · Iris / stdpp

Jun 05, 2025
- Merge branch 'patch-1' into 'master' · 567f831e
  Ralf Jung authored 3 days ago
  567f831e
- Require Fin before using it · c875d68c
  Andres Erbsen authored 3 days ago and Ralf Jung committed 3 days ago
  
  c875d68c
Jun 04, 2025
- Merge branch 'master' into 'master' · a14c5719
  Ralf Jung authored 4 days ago
  a14c5719
- Version 1.12.0 · 1bd7725e
  Jesper Bengtson authored 4 days ago and Ralf Jung committed 4 days ago
  
  1bd7725e
May 18, 2025
- Merge branch 'robbert/vec_to_list' into 'master' · 55d19c56
  Ralf Jung authored 3 weeks ago
  55d19c56
May 15, 2025
- Make use of `vec_to_list` coercion in `Forall`/`Forall2`. · 761e6444
  Robbert Krebbers authored 3 weeks ago
  761e6444
- Merge branch 'vector-lemmas' into 'master' · 8f987b68
  Robbert Krebbers authored 3 weeks ago
  8f987b68
- Vector Forall Lemmas, for all! · c52f9b1c
  Rudy Peterson authored 3 weeks ago and Robbert Krebbers committed 3 weeks ago
  
  c52f9b1c
May 10, 2025
- Merge branch 'require-znumtheory' into 'master' · fd17255c
  Ralf Jung authored 4 weeks ago
  fd17255c
May 08, 2025
- Update definitions.v · 0c99696a
  Andres Erbsen authored 1 month ago
  
  0c99696a
- Update file definitions.v · 5c7644f1
  Andres Erbsen authored 1 month ago
  
  5c7644f1
May 05, 2025
- Merge branch 'ralf/list-module' into 'master' · bd7aad2a
  Ralf Jung authored 1 month ago
  bd7aad2a
May 02, 2025
- Merge branch 'rodolphe/rocq9' into 'master' · 3f2dd924
  Ralf Jung authored 1 month ago
  View commits for tag coq-stdpp-1.12.0 coq-stdpp-1.12.0
  
  3f2dd924
Apr 30, 2025
- Test coq.9.0.0 in CI. · efc33ae4
  Rodolphe Lepigre authored 1 month ago
  
  efc33ae4
Apr 08, 2025
- make coq-lint nix-compatible · 39860d00
  Ralf Jung authored 2 months ago
  
  39860d00
Apr 01, 2025
- make list.<lemma> work again · 51591430
  Ralf Jung authored 2 months ago
  
  51591430
Mar 30, 2025
- Merge branch 'ralf/list-split' into 'master' · 9274984b
  Ralf Jung authored 2 months ago
  9274984b
Mar 29, 2025
- CHANGELOG. · 74ed6cfa
  Robbert Krebbers authored 2 months ago
  
  74ed6cfa
- Move `list_find` to misc. · e400a5b1
  Robbert Krebbers authored 2 months ago
  e400a5b1
- Move `discriminate_list` and `simplify_list_eq` to basics. · 9dc6a84e
  Robbert Krebbers authored 2 months ago
  
  9dc6a84e
- Self contained proof of `submseteq_dec` and move to correct file. · 34e5f70a
  Robbert Krebbers authored 2 months ago
  
  34e5f70a
- Fix comment that is messed up. · db8b426e
  Robbert Krebbers authored 2 months ago
  
  db8b426e
Mar 28, 2025
- Move filter lemmas to basics. · dc158f6f
  Robbert Krebbers authored 2 months ago
  
  dc158f6f
- changelog · 42b0adeb
  Ralf Jung authored 2 months ago
  
  42b0adeb
- move NoDup lemmas into list_relations · 85ad825c
  Ralf Jung authored 2 months ago
  
  85ad825c
- split up list.v into smaller files · 3bc47928
  Ralf Jung authored 2 months ago
  
  3bc47928
- Merge branch 'ralf/no-notypeclasses-apply' into 'master' · 72579d23
  Ralf Jung authored 2 months ago
  72579d23
- remove notypeclasses apply; it is somehow very slow · af70e2de
  Ralf Jung authored 2 months ago
  
  af70e2de
Mar 24, 2025
- Merge branch 'marijnvanwezel/SetUnfoldElemOf_dom_gmultiset' into 'master' · 95b6b0c0
  Ralf Jung authored 2 months ago
  95b6b0c0
Mar 12, 2025
- Add test and update CHANGELOG · 713ad87c
  Marijn van Wezel authored 2 months ago
  
  713ad87c
- Add `SetUnfoldElemOf` instance of `dom` on `gmultiset` · 5db505ac
  Marijn van Wezel authored 2 months ago
  
  5db505ac
Feb 26, 2025
- Merge branch 'marijnvanwezel/StronglySorted_app' into 'master' · d2e8771d
  Robbert Krebbers authored 3 months ago
  d2e8771d
Feb 25, 2025
- Tweak imports · 7d1f381e
  Marijn van Wezel authored 3 months ago
  
  7d1f381e
- Tweak CHANGELOG. · 80ff9d7b
  Robbert Krebbers authored 3 months ago and Marijn van Wezel committed 3 months ago
  
  80ff9d7b
- Renames and make use of `set_solver` to shorten proof. · 55e93ffd
  Robbert Krebbers authored 3 months ago and Marijn van Wezel committed 3 months ago
  
  55e93ffd
- Add lemma `StronglySorted_app` · 7f43d3f2
  Marijn van Wezel authored 4 months ago and Marijn van Wezel committed 3 months ago
  
  7f43d3f2
- Merge branch 'kimaya/add-seq-lemmas' into 'master' · 6ac98356
  Ralf Jung authored 3 months ago
  6ac98356
Feb 20, 2025
- Apply 1 suggestion(s) to 1 file(s) · a9167769
  Kimaya Bedarkar authored 3 months ago
  a9167769
- Apply 1 suggestion(s) to 1 file(s) · ffcb6d4d
  Kimaya Bedarkar authored 3 months ago
  ffcb6d4d
Feb 19, 2025
- add lemmas about seq · 0fb1c214
  Kimaya Bedarkar authored 3 months ago
  
  0fb1c214