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

[Merged by Bors] - feat(logic/girard): Girard's paradox #7026

Closed
wants to merge 14 commits into from
Closed

[Merged by Bors] - feat(logic/girard): Girard's paradox #7026

wants to merge 14 commits into from

Commits on Apr 4, 2021

  1. feat(logic/girard): Girard's paradox

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    81fe6d8 View commit details
    Browse the repository at this point in the history

  2. source

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    fd0aca4 View commit details
    Browse the repository at this point in the history

  3. add theorems about small.{u}

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    8dbc24d View commit details
    Browse the repository at this point in the history

  4. reverse dependency order

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    5743804 View commit details
    Browse the repository at this point in the history

  5. linter

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    17e6e69 View commit details
    Browse the repository at this point in the history

  6. golf

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    1934978 View commit details
    Browse the repository at this point in the history

  7. golf

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    c33fdaa View commit details
    Browse the repository at this point in the history

  8. fix

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    884ee75 View commit details
    Browse the repository at this point in the history

  9. golf

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    45aa659 View commit details
    Browse the repository at this point in the history

  10. golf

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    85ba01c View commit details
    Browse the repository at this point in the history

  11. capitals

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    497fc36 View commit details
    Browse the repository at this point in the history

  12. simpler imports

    @digama0
    digama0 committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    3939481 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2021

  1. shorter proof of not_small_type using Cantor 

    Co-authored-by: David Wärn <codwarn@gmail.com>
    @digama0 @dwarn
    digama0 and dwarn committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    99b3ba7 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2021

  1. fix merge conflict

    @semorrison
    semorrison committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    2be593d View commit details
    Browse the repository at this point in the history