Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(model_theory/terms_and_formulas): Prenex Normal Form #12558

Closed
wants to merge 35 commits into from
Closed

[Merged by Bors] - feat(model_theory/terms_and_formulas): Prenex Normal Form #12558

wants to merge 35 commits into from

Commits on Mar 5, 2022

  1. init

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    82c32a8 View commit details
    Browse the repository at this point in the history

  2. init

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    f8d8e06 View commit details
    Browse the repository at this point in the history

  3. merge

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    b18c330 View commit details
    Browse the repository at this point in the history

  4. merge

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    0d34f39 View commit details
    Browse the repository at this point in the history

  5. fix

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    e467647 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/lift_term_at' into prenex

    @awainverse
    awainverse committed Mar 5, 2022
    Configuration menu
    Copy the full SHA
    f2efa74 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2022

  1. merge

    @awainverse
    awainverse committed Mar 6, 2022
    Configuration menu
    Copy the full SHA
    d66c72f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/lift_term_at' into prenex

    @awainverse
    awainverse committed Mar 6, 2022
    Configuration menu
    Copy the full SHA
    f2302fc View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2022

  1. nice

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    17119e5 View commit details
    Browse the repository at this point in the history

  2. init

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    aeb27d6 View commit details
    Browse the repository at this point in the history

  3. induction_on

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    f5d21b6 View commit details
    Browse the repository at this point in the history

  4. merge

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    97239ba View commit details
    Browse the repository at this point in the history

  5. long_line

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    8440e3c View commit details
    Browse the repository at this point in the history

  6. move

    @awainverse
    awainverse committed Mar 9, 2022
    Configuration menu
    Copy the full SHA
    13ff052 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2022

  1. documentation

    @awainverse
    awainverse committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    9eab0ae View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2022

  1. golf

    @awainverse
    awainverse committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    c3e2d43 View commit details
    Browse the repository at this point in the history

  2. review_golf

    @awainverse
    awainverse committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    a6f9248 View commit details
    Browse the repository at this point in the history

  3. merge

    @awainverse
    awainverse committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    2aef238 View commit details
    Browse the repository at this point in the history

  4. long_line

    @awainverse
    awainverse committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    c8dcdba View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/qf' into prenex

    @awainverse
    awainverse committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    58ba329 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2022

  1. induction_on

    @awainverse
    awainverse committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    fd4eb3a View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/qf' into prenex

    @awainverse
    awainverse committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    a332a27 View commit details
    Browse the repository at this point in the history

  3. sort_to_prop

    @awainverse
    awainverse committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    058e54c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/qf' into prenex

    @awainverse
    awainverse committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    6e47cbd View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2022

  1. merge

    @awainverse
    awainverse committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    f47a394 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2022

  1. merge

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    92c2d53 View commit details
    Browse the repository at this point in the history

  2. merge

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    42bee1c View commit details
    Browse the repository at this point in the history

  3. cast_le

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    721e919 View commit details
    Browse the repository at this point in the history

  4. remove_inductions_on

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    4035949 View commit details
    Browse the repository at this point in the history

  5. remove_more_inductions_on

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    850d136 View commit details
    Browse the repository at this point in the history

  6. merge

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    84b90a6 View commit details
    Browse the repository at this point in the history

  7. merge

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    97db46b View commit details
    Browse the repository at this point in the history

  8. fix

    @awainverse
    awainverse committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    d5937dc View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2022

  1. pattern

    @awainverse
    awainverse committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    d7e628d View commit details
    Browse the repository at this point in the history

  2. reviews

    @awainverse
    awainverse committed Mar 21, 2022
    Configuration menu
    Copy the full SHA
    8167797 View commit details
    Browse the repository at this point in the history