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 (data/pnat): extensions to pnat #1073

Merged
merged 24 commits into from Jun 10, 2019
Merged

feat (data/pnat): extensions to pnat #1073

merged 24 commits into from Jun 10, 2019

Commits on May 21, 2019

  1. Extended API, especially divisibility and primes

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    35b2ef3 View commit details
    Browse the repository at this point in the history

  2. Positive euclidean algorithm

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    115c165 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/leanprover-community/mathlib 

     into pnat
    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    3fe2ddd View commit details
    Browse the repository at this point in the history

  4. Disambiguate overloaded ::

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    b3bf1b6 View commit details
    Browse the repository at this point in the history

  5. Tweak broken proof of flip_is_special

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    f3ab611 View commit details
    Browse the repository at this point in the history

  6. Change to mathlib style

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    2547744 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into pnat

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    00657a0 View commit details
    Browse the repository at this point in the history

  8. Update src/data/pnat.lean 

    Co-Authored-By: Johan Commelin <johan@commelin.net>
    @NeilStrickland @jcommelin
    NeilStrickland and jcommelin committed May 21, 2019
    Configuration menu
    Copy the full SHA
    2d7af1d View commit details
    Browse the repository at this point in the history

  9. Update src/data/pnat.lean 

    Co-Authored-By: Johan Commelin <johan@commelin.net>
    @NeilStrickland @jcommelin
    NeilStrickland and jcommelin committed May 21, 2019
    Configuration menu
    Copy the full SHA
    512eb36 View commit details
    Browse the repository at this point in the history

  10. Adjust style for mathlib

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    895c9de View commit details
    Browse the repository at this point in the history

  11. Merge branch 'pnat' of https://github.com/NeilStrickland/mathlib into… 

    … pnat
    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    c139b6c View commit details
    Browse the repository at this point in the history

  12. Moved and renamed

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    d56cebd View commit details
    Browse the repository at this point in the history

  13. Move some material from basic.lean to prime.lean

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    151bfda View commit details
    Browse the repository at this point in the history

  14. Move some material from basic.lean to factors.lean

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    420d2dd View commit details
    Browse the repository at this point in the history

  15. Update import to data.pnat.basic.

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    7e2d5ac View commit details
    Browse the repository at this point in the history

  16. Update import to data.pnat.basic

    @NeilStrickland
    NeilStrickland committed May 21, 2019
    Configuration menu
    Copy the full SHA
    7fcf4f2 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2019

  1. Fix import of data.pnat.basic

    @NeilStrickland
    NeilStrickland committed May 22, 2019
    Configuration menu
    Copy the full SHA
    0bd5f5d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/leanprover-community/mathlib 

     into pnat
    @NeilStrickland
    NeilStrickland committed May 22, 2019
    Configuration menu
    Copy the full SHA
    68f172d View commit details
    Browse the repository at this point in the history

Commits on May 23, 2019

  1. Use monoid.pow instead of nat.pow

    @NeilStrickland
    NeilStrickland committed May 23, 2019
    Configuration menu
    Copy the full SHA
    dc4bd37 View commit details
    Browse the repository at this point in the history

  2. Fix pnat.pow_succ -> pow_succ; stylistic changes

    @NeilStrickland
    NeilStrickland committed May 23, 2019
    Configuration menu
    Copy the full SHA
    0d22c7d View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2019

  1. More systematic use of coercion

    @NeilStrickland
    NeilStrickland committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    3aa822a View commit details
    Browse the repository at this point in the history

  2. More consistent use of coercion

    @NeilStrickland
    NeilStrickland committed Jun 1, 2019
    Configuration menu
    Copy the full SHA
    682a886 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2019

  1. Formatting; change flip' to prod.swap

    @NeilStrickland
    NeilStrickland committed Jun 9, 2019
    Configuration menu
    Copy the full SHA
    c7608a5 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2019

  1. Merge branch 'master' into pnat

    @jcommelin
    jcommelin committed Jun 10, 2019
    Configuration menu
    Copy the full SHA
    94aae62 View commit details
    Browse the repository at this point in the history