Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: adaptations for leanprover/lean4#3151 #9572

Closed
wants to merge 1,743 commits into from
Closed

chore: adaptations for leanprover/lean4#3151 #9572

wants to merge 1,743 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Dec 9, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 9, 2023
    Configuration menu
    Copy the full SHA
    a105bf4 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 9, 2023
    Configuration menu
    Copy the full SHA
    26857d6 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    ddb0102 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    847e535 View commit details
    Browse the repository at this point in the history

  3. chore: bump to nightly-2023-12-10

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    8193b68 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    8213131 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    8a0017f View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    a4168cc View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    9ef2168 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    04b422c View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    7888ce0 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    4e0f3a6 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    d45d5c6 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    7cd2db9 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    c527c06 View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    49ab8f2 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    e7c6ca0 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    57f599d View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    1c7d8fa View commit details
    Browse the repository at this point in the history

  4. chore: bump to nightly-2023-12-12

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    a793c3b View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    41cd2c3 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    66eab48 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    e9fcd4d View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    2cd0978 View commit details
    Browse the repository at this point in the history

  9. chore: update 'says' statements after improvements to simp?

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    7e60cf8 View commit details
    Browse the repository at this point in the history

  10. bump toolchain

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    b66322a View commit details
    Browse the repository at this point in the history

  11. chore: update 'says' statements after improvements to simp?

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    a44b510 View commit details
    Browse the repository at this point in the history

  12. fix archive

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    316dae7 View commit details
    Browse the repository at this point in the history

  13. cleanup

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    c745566 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'adapt_2923' into nightly-testing

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    2937f47 View commit details
    Browse the repository at this point in the history

  15. fix tests

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    509bae3 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'adapt_2923' into nightly-testing

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    27db553 View commit details
    Browse the repository at this point in the history

  17. reduce diff a bit

    @semorrison
    semorrison committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    7c4ec65 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. fix abel_nf test

    @semorrison
    semorrison committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    93754e6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adapt_2923' into nightly-testing

    @semorrison
    semorrison committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    829ac23 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    a9f3586 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    6cb4a4c View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    daf8aba View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    1bf606c View commit details
    Browse the repository at this point in the history

  7. chore: bump to nightly-2023-12-13

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    80ae4df View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    bb70e2a View commit details
    Browse the repository at this point in the history

  9. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    d362dbe View commit details
    Browse the repository at this point in the history

  10. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    aa411ba View commit details
    Browse the repository at this point in the history

  11. chore: update Std dependency to match leanprover-community/batteries#397

    @semorrison
    semorrison committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    d847647 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. chore: adaptations for leanprover/lean4#2923 (#9011) 

    This PR is targeting the `bump/v4.5.0` branch. It contains the adaptations required for leanprover/lean4#2923, which have now landed in the `2023-12-12` nightly toolchain.

The only changes are in `simp [...] says ...` statements, where some spurious lemmas are now no longer reported.

*Many* further `simp only` statements in Mathlib contain spurious lemmas which would now no longer be produced by a fresh `simp?`, and I would strongly encourage anyone interested in removing these! For now such changes will need to be made in a PR targeting `bump/v4.5.0` (like this PR), or in January they can be done on `master`.



Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
    @semorrison
    semorrison and semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    1c53872 View commit details
    Browse the repository at this point in the history

  2. more fixes required

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    3c6274c View commit details
    Browse the repository at this point in the history

  3. fixes

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    81479a3 View commit details
    Browse the repository at this point in the history

  4. fix

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    b6ead53 View commit details
    Browse the repository at this point in the history

  5. fix

    @digama0
    digama0 committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    f1a6b2d View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    a104e5b View commit details
    Browse the repository at this point in the history

  7. fix

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    c5a7449 View commit details
    Browse the repository at this point in the history

  8. merge

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    82019d5 View commit details
    Browse the repository at this point in the history

  9. fix

    @semorrison
    semorrison committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    d82683b View commit details
    Browse the repository at this point in the history

  10. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    4103aa0 View commit details
    Browse the repository at this point in the history

  11. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    3343ff1 View commit details
    Browse the repository at this point in the history

  12. chore: bump to nightly-2023-12-14

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    6cd5b60 View commit details
    Browse the repository at this point in the history

  13. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    6a3e11b View commit details
    Browse the repository at this point in the history

  14. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    eeaabba View commit details
    Browse the repository at this point in the history

  15. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    d999924 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'nightly-testing-2023-12-12' of https://github.com/leanp… 

    …rover-community/mathlib4 into lean-pr-testing-2973
    @kmill
    kmill committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    43cb9e5 View commit details
    Browse the repository at this point in the history

  17. have to haveI

    @kmill
    kmill committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    efae9a5 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    0540b2b View commit details
    Browse the repository at this point in the history

  2. chore: bump to nightly-2023-12-15

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    c5d0928 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    ff89a77 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    f5e09ee View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    3df64fa View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    282af55 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    0bb989f View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    f2a70d0 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    d3d0ff4 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    2ff7d0a View commit details
    Browse the repository at this point in the history

  5. chore: bump to nightly-2023-12-16

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    c8f4aaf View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    4e70fa1 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    c1a3723 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2023

  1. fix

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    342acc8 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into bump_bump

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    4990a02 View commit details
    Browse the repository at this point in the history

  3. fix

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    8fa2d90 View commit details
    Browse the repository at this point in the history

  4. fix

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    3908754 View commit details
    Browse the repository at this point in the history

  5. fixes

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    c557306 View commit details
    Browse the repository at this point in the history

  6. fixes from nightly-testing

    @semorrison
    semorrison committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    df84ae0 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    922483d View commit details
    Browse the repository at this point in the history

  8. chore: bump to nightly-2023-12-17

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    fb1da20 View commit details
    Browse the repository at this point in the history

  9. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    4d32392 View commit details
    Browse the repository at this point in the history

  10. Update matrix.lean

    @eric-wieser
    eric-wieser committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    51a63d8 View commit details
    Browse the repository at this point in the history

  11. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    64d922d View commit details
    Browse the repository at this point in the history

  12. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    12c347c View commit details
    Browse the repository at this point in the history

  13. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    15e7354 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Merge pull request #9118 from leanprover-community/bump_bump 

    chore: merge master into `bump/v4.5.0`, and incorporate fixes from `nightly-testing`
    @eric-wieser
    eric-wieser committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    6027f2e View commit details
    Browse the repository at this point in the history

  2. merge bump/v4.5.0

    @semorrison
    semorrison committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    3530fb0 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    3d6c12d View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    32d8aa2 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    9f269b1 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    55e1975 View commit details
    Browse the repository at this point in the history

  7. chore: bump to nightly-2023-12-18

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    9e9f25c View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    b772b33 View commit details
    Browse the repository at this point in the history

  9. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    830471b View commit details
    Browse the repository at this point in the history

  10. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    267885e View commit details
    Browse the repository at this point in the history

  11. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    db2fa62 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    7711654 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    f81b038 View commit details
    Browse the repository at this point in the history

  3. chore: bump to nightly-2023-12-19

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    cdd553f View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    fd7b9a5 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    48fbf17 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    fbcf251 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    eced5a1 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    a163c14 View commit details
    Browse the repository at this point in the history

  2. merge lean-pr-testing-2973

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    0ea6a6d View commit details
    Browse the repository at this point in the history

  3. merge

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    878196b View commit details
    Browse the repository at this point in the history

  4. fix

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    aa81039 View commit details
    Browse the repository at this point in the history

  5. fixes

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    00e9c21 View commit details
    Browse the repository at this point in the history

  6. fix

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    742b9be View commit details
    Browse the repository at this point in the history

  7. fix

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    641b781 View commit details
    Browse the repository at this point in the history

  8. fixes

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    c7d8e53 View commit details
    Browse the repository at this point in the history

  9. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    b2495e3 View commit details
    Browse the repository at this point in the history

  10. merge changes from bump_std_438

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    308286f View commit details
    Browse the repository at this point in the history

  11. chore: bump to nightly-2023-12-20

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    a82f629 View commit details
    Browse the repository at this point in the history

  12. remove unused have

    @semorrison
    semorrison committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    39e1851 View commit details
    Browse the repository at this point in the history

  13. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    2260e71 View commit details
    Browse the repository at this point in the history

  14. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    5f2d376 View commit details
    Browse the repository at this point in the history

  15. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    a50e253 View commit details
    Browse the repository at this point in the history

  16. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    d982ee4 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    ae134c7 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    b3020ca View commit details
    Browse the repository at this point in the history

  3. bump std

    @semorrison
    semorrison committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    b578717 View commit details
    Browse the repository at this point in the history

  4. bump toolchain

    @semorrison
    semorrison committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    0f61adf View commit details
    Browse the repository at this point in the history

  5. merge lean-pr-testing-2964

    @semorrison
    semorrison committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    c0d0c14 View commit details
    Browse the repository at this point in the history

  6. merge master

    @semorrison
    semorrison committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    dc04048 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    f73e797 View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    48630b4 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    da888d5 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    3141857 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    d1f4bc5 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    8c9df3f View commit details
    Browse the repository at this point in the history

  5. chore: bump to nightly-2023-12-22

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    42f553b View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    dcae173 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    b6d32bc View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    55dd8be View commit details
    Browse the repository at this point in the history

  9. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    2f2eaeb View commit details
    Browse the repository at this point in the history

  10. chore: bump lean to lean4#3084

    @digama0
    digama0 committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    7eda28c View commit details
    Browse the repository at this point in the history

  11. fix: adapt to lean4#3084

    @digama0
    digama0 committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    36ed38d View commit details
    Browse the repository at this point in the history

  12. chore: fix unused variables

    @digama0
    digama0 committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    be62dd1 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    38620cc View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    7c177f6 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    5eb747a View commit details
    Browse the repository at this point in the history

  4. chore: bump to nightly-2023-12-23

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    56db9f1 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    ced8df2 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 23, 2023
    Configuration menu
    Copy the full SHA
    e5e55e2 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    2b079ec View commit details
    Browse the repository at this point in the history

  2. chore: bump to nightly-2023-12-24

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    3be5400 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    d435fba View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    7f9ca2a View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    7b73d66 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    c8a81d9 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 25, 2023
    Configuration menu
    Copy the full SHA
    5f06758 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    eb03a64 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    2624a28 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    c230405 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    6187a7d View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    8e3b6ff View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    8edaafe View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    64736d7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'lean-pr-testing-3084' into nightly-testing

    @digama0
    digama0 committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    8ad18e2 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    0f38a6f View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    0b6e27a View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    c0eba3e View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    22b65d8 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    34482be View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    18cf76c View commit details
    Browse the repository at this point in the history

  9. chore: update ProofWidgets for lean4#3105

    @digama0
    digama0 committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    ef1fdd1 View commit details
    Browse the repository at this point in the history

  10. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    4aac907 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    fc4bb74 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    8adf208 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    04b0f1b View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    48a2ee4 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    2fca217 View commit details
    Browse the repository at this point in the history

  2. chore: bump to nightly-2023-12-29

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    4be645d View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2023

  1. Update lean-toolchain for testing leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    16f47e4 View commit details
    Browse the repository at this point in the history

  2. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    5037cf5 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    04c649a View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    86407e1 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    57c69bd View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    fc7164d View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    8bf7ebb View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2023

  1. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    93d9606 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    4159be0 View commit details
    Browse the repository at this point in the history

  3. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    cb7cb3b View commit details
    Browse the repository at this point in the history

  4. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    d94d320 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    f29a54b View commit details
    Browse the repository at this point in the history

  2. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    5d8d998 View commit details
    Browse the repository at this point in the history

  3. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    983ed7c View commit details
    Browse the repository at this point in the history

  4. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    bd922de View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    0546aed View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. chore: adaptations for leanprover/lean4#3084

    @semorrison
    semorrison committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    a85698d View commit details
    Browse the repository at this point in the history

  2. update dependencies

    @semorrison
    semorrison committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    85e2f58 View commit details
    Browse the repository at this point in the history

  3. find a viable set of dependency commits

    @semorrison
    semorrison committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    0d03938 View commit details
    Browse the repository at this point in the history

  4. chore: adaptations for leanprover/lean4#3123

    @semorrison
    semorrison committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    2e95c56 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2024

  1. remove unused name

    @semorrison
    semorrison committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    53a7e58 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'adaptations_3084' into adaptations_3123

    @semorrison
    semorrison committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    f70784a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'bump/v4.6.0' into adaptations_3084

    @semorrison
    semorrison committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    00c1c5b View commit details
    Browse the repository at this point in the history

  4. Merge branch 'adaptations_3084' into adaptations_3123

    @semorrison
    semorrison committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    cbbd4c9 View commit details
    Browse the repository at this point in the history

  5. Trigger CI for leanprover/lean4#3124

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    50ffc8f View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2024

  1. use Std branch

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    20b82e2 View commit details
    Browse the repository at this point in the history

  2. update proofwidgets

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    456216e View commit details
    Browse the repository at this point in the history

  3. .

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    42f6fb0 View commit details
    Browse the repository at this point in the history

  4. fix

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    3e84417 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'adaptations_3084' into adaptations_3123

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    cc3041d View commit details
    Browse the repository at this point in the history

  6. merge #9453

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    67d0b33 View commit details
    Browse the repository at this point in the history

  7. no more upstream problems

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    d595d42 View commit details
    Browse the repository at this point in the history

  8. oops

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    f3700c1 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'adaptations_3084' into adaptations_3123

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    425da54 View commit details
    Browse the repository at this point in the history

  10. the errors are getting interesting

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    22688d1 View commit details
    Browse the repository at this point in the history

  11. fixes

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    885169a View commit details
    Browse the repository at this point in the history

  12. attempt fix of field_simp

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    4153107 View commit details
    Browse the repository at this point in the history

  13. merge bump/v4.6.0

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    2e10fe7 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'adaptations_3123' into lean-pr-testing-3124

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    6a7c343 View commit details
    Browse the repository at this point in the history

  15. simprocs false

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    7b9ae5e View commit details
    Browse the repository at this point in the history

  16. chore: remove a bad @[simp] in Control/Traversable

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    72e7e52 View commit details
    Browse the repository at this point in the history

  17. add comment

    @semorrison
    semorrison committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    0c14a3e View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. chore: cleanup simp calls

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    d3a0ef7 View commit details
    Browse the repository at this point in the history

  2. update DeriveTraversable meta code

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9786389 View commit details
    Browse the repository at this point in the history

  3. chore: replace a proof in Combinatorics/Composition

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a67491c View commit details
    Browse the repository at this point in the history

  4. fix for nth_rewrite; already done on another branch?

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    ccbe8ea View commit details
    Browse the repository at this point in the history

  5. .

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f98a36d View commit details
    Browse the repository at this point in the history

  6. fixes

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    187f3df View commit details
    Browse the repository at this point in the history

  7. fixes

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    6f08ba5 View commit details
    Browse the repository at this point in the history

  8. fixes

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a182906 View commit details
    Browse the repository at this point in the history

  9. fixes

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    44898cc View commit details
    Browse the repository at this point in the history

  10. fix

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    81145a2 View commit details
    Browse the repository at this point in the history

  11. fix

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    1358b7d View commit details
    Browse the repository at this point in the history

  12. chore: improvements to Presheaf simp lemmas

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    eede9a3 View commit details
    Browse the repository at this point in the history

  13. more

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    72129af View commit details
    Browse the repository at this point in the history

  14. merge bump/v4.6.0

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    95e5bdd View commit details
    Browse the repository at this point in the history

  15. fix merge

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    cff8b0a View commit details
    Browse the repository at this point in the history

  16. long line

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    287b40a View commit details
    Browse the repository at this point in the history

  17. set maxHeartbeat

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    722771d View commit details
    Browse the repository at this point in the history

  18. fix 'simp says' statements

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    fe6eb1e View commit details
    Browse the repository at this point in the history

  19. fix

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    7f52473 View commit details
    Browse the repository at this point in the history

  20. fix says in tests

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    9c4a5b4 View commit details
    Browse the repository at this point in the history

  21. merge bump/v4.6.0

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    a783ec1 View commit details
    Browse the repository at this point in the history

  22. Update Mathlib/Data/Num/Prime.lean

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    69820ce View commit details
    Browse the repository at this point in the history

  23. revert change

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    13a2830 View commit details
    Browse the repository at this point in the history

  24. Revert change

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    6f9e68d View commit details
    Browse the repository at this point in the history

  25. cleanup

    @semorrison
    semorrison committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    1de7d38 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. create Mathlib testing branch for leanprover/lean4#3151

    @semorrison
    semorrison committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    b90df8e View commit details
    Browse the repository at this point in the history

  2. partial fixes

    @semorrison
    semorrison committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    07d28ef View commit details
    Browse the repository at this point in the history

  3. fixes

    @semorrison
    semorrison committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    60e9279 View commit details
    Browse the repository at this point in the history

  4. fix

    @semorrison
    semorrison committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    b495fa9 View commit details
    Browse the repository at this point in the history

  5. long line

    @semorrison
    semorrison committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    b783a5c View commit details
    Browse the repository at this point in the history

  6. improve a proof

    @riccardobrasca
    riccardobrasca committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    3baad74 View commit details
    Browse the repository at this point in the history

  7. forgot these

    @riccardobrasca
    riccardobrasca committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    aec14aa View commit details
    Browse the repository at this point in the history