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

Shorten well-ordered recursion #4403

Merged
merged 13 commits into from
Nov 18, 2024
Merged

Shorten well-ordered recursion #4403

merged 13 commits into from
Nov 18, 2024

Commits on Nov 18, 2024

  1. Begin work on transitioning definition of wrecs

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    62e9c15 View commit details
    Browse the repository at this point in the history

  2. add some well-founded theorems that avoid ax-rep

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    69c3cde View commit details
    Browse the repository at this point in the history

  3. swap definitions of wrecs and obsolete the major lemmas

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    274eeae View commit details
    Browse the repository at this point in the history

  4. Paperwork

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    c9ce01c View commit details
    Browse the repository at this point in the history

  5. Revise proof of dfrecs3 to use new definition of wrecs

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    680e4c2 View commit details
    Browse the repository at this point in the history

  6. Bring csbpredg, csbdif up, prove csbfrecsg

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    fed1b19 View commit details
    Browse the repository at this point in the history

  7. Prove csbwrecsg with the new definition

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    f667a02 View commit details
    Browse the repository at this point in the history

  8. regen disc

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    5fe17aa View commit details
    Browse the repository at this point in the history

  9. rewrap

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    eefc913 View commit details
    Browse the repository at this point in the history

  10. add $j for fpr2a

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    a6debec View commit details
    Browse the repository at this point in the history

  11. incorporate benjub's suggestions

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    66ab190 View commit details
    Browse the repository at this point in the history

  12. verify cleanup

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    2c76746 View commit details
    Browse the repository at this point in the history

  13. rewrap

    @sctfn
    sctfn committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    b29b64a View commit details
    Browse the repository at this point in the history