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

Beyond foundation #751

Merged
merged 28 commits into from
Sep 12, 2023
Merged

Beyond foundation #751

merged 28 commits into from
Sep 12, 2023

Commits on Sep 11, 2023

  1. pulling changes from beyond-finite-sets

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    4f72ec1 View commit details
    Browse the repository at this point in the history

  2. pulling changes from beyond-finite-sets

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    8ea2c66 View commit details
    Browse the repository at this point in the history

  3. resolve merge conflicts

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    81d2e65 View commit details
    Browse the repository at this point in the history

  4. removing unnecessary --allow-unsolved-metas

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    107e246 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    0c9b2f5 View commit details
    Browse the repository at this point in the history

  6. factoring out symmetric cores

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    122a754 View commit details
    Browse the repository at this point in the history

  7. make pre-commit

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    0f76f56 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    d4ea2d5 View commit details
    Browse the repository at this point in the history

  9. delete unfinished file

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    e5c94ab View commit details
    Browse the repository at this point in the history

  10. make pre-commit

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    5a06302 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    71a6052 View commit details
    Browse the repository at this point in the history

  12. merge

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    5785f94 View commit details
    Browse the repository at this point in the history

  13. make this PR compile

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    d66978a View commit details
    Browse the repository at this point in the history

  14. refactor

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    29dd81c View commit details
    Browse the repository at this point in the history

  15. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    00a3df7 View commit details
    Browse the repository at this point in the history

  16. renaming action-on-equivalences-families-over-subuniverses to action-… 

    …on-equivalences-type-families-over-subuniverses to make the use of the word families in file names consistent, at least within the foundation folder
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    0bd0fee View commit details
    Browse the repository at this point in the history

  17. factor out stuff that influences the deloopings of the sign homomorphism

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    aa28e94 View commit details
    Browse the repository at this point in the history

  18. equivalence-induction

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    6e32609 View commit details
    Browse the repository at this point in the history

  19. more changes

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    c2d91d4 View commit details
    Browse the repository at this point in the history

  20. move lemma

    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    20e0e81 View commit details
    Browse the repository at this point in the history

  21. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    4b4f9ed View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    36750ce View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:UniMath/agda-unimath into beyond-… 

    …foundation
    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    61b7905 View commit details
    Browse the repository at this point in the history

  3. remove some unused imports

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    dc9a2e2 View commit details
    Browse the repository at this point in the history

  4. uniqueness of action on equivalences of functions

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    dfdd1af View commit details
    Browse the repository at this point in the history

  5. action on equivalences of functions out of subuniverses

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    4689d54 View commit details
    Browse the repository at this point in the history

  6. make uniqueness defintions abstract

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    63c807b View commit details
    Browse the repository at this point in the history

  7. capitalization

    @EgbertRijke
    EgbertRijke committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    4bf206b View commit details
    Browse the repository at this point in the history