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

feat(category_theory): add reassoc annotations #1558

Merged
merged 13 commits into from
Oct 22, 2019
Merged

feat(category_theory): add reassoc annotations #1558

merged 13 commits into from
Oct 22, 2019

Commits on Oct 16, 2019

  1. feat(category_theory): add reassoc annotations

    @cipher1024
    cipher1024 committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    c769ce0 View commit details
    Browse the repository at this point in the history

  2. Update reassoc_axiom.lean

    @cipher1024
    cipher1024 committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    97a405d View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2019

  1. Update src/tactic/reassoc_axiom.lean 

    Co-Authored-By: Scott Morrison <scott@tqft.net>
    @cipher1024 @semorrison
    cipher1024 and semorrison committed Oct 17, 2019
    Configuration menu
    Copy the full SHA
    0c37ab4 View commit details
    Browse the repository at this point in the history

  2. Update src/tactic/reassoc_axiom.lean 

    Co-Authored-By: Scott Morrison <scott@tqft.net>
    @cipher1024 @semorrison
    cipher1024 and semorrison committed Oct 17, 2019
    Configuration menu
    Copy the full SHA
    72d907b View commit details
    Browse the repository at this point in the history

  3. Update src/tactic/reassoc_axiom.lean 

    Co-Authored-By: Scott Morrison <scott@tqft.net>
    @cipher1024 @semorrison
    cipher1024 and semorrison committed Oct 17, 2019
    Configuration menu
    Copy the full SHA
    ea5fd48 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2019

  1. Update src/tactic/reassoc_axiom.lean

    @semorrison
    semorrison committed Oct 19, 2019
    Configuration menu
    Copy the full SHA
    f05ace7 View commit details
    Browse the repository at this point in the history

  2. Update src/tactic/reassoc_axiom.lean

    @semorrison
    semorrison committed Oct 19, 2019
    Configuration menu
    Copy the full SHA
    ad977e7 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2019

  1. Update reassoc_axiom.lean

    @cipher1024
    cipher1024 committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    8bbdf02 View commit details
    Browse the repository at this point in the history

  2. Update tactics.lean

    @cipher1024
    cipher1024 committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    897b2f5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into add-reassoc

    @cipher1024
    cipher1024 committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    0b5eda2 View commit details
    Browse the repository at this point in the history

  4. Update tactics.md

    @cipher1024
    cipher1024 committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    878e131 View commit details
    Browse the repository at this point in the history

  5. Update reassoc_axiom.lean

    @cipher1024
    cipher1024 committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    c12dda2 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2019

  1. Merge branch 'master' into add-reassoc

    @mergify
    mergify[bot] committed Oct 22, 2019
    Configuration menu
    Copy the full SHA
    e9ba311 View commit details
    Browse the repository at this point in the history