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

Logic #1226

Open
wants to merge 17 commits into
base: master
Choose a base branch
from
Open

Logic #1226

wants to merge 17 commits into from

Commits on Nov 18, 2024

  1. logic

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    2e74fc3 View commit details
    Browse the repository at this point in the history

  2. a word

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    81ace90 View commit details
    Browse the repository at this point in the history

  3. fix import

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    e755cb0 View commit details
    Browse the repository at this point in the history

  4. fixes

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    2e78a1e View commit details
    Browse the repository at this point in the history

  5. add references

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    ad02d78 View commit details
    Browse the repository at this point in the history

  6. finitary de morgan's law

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    ed10ff8 View commit details
    Browse the repository at this point in the history

  7. fix links

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    9f89345 View commit details
    Browse the repository at this point in the history

  8. fix more links

    @fredrik-bakke
    fredrik-bakke committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    18f72e6 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. path-split type families

    @fredrik-bakke
    fredrik-bakke committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    6abc49b View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. Merge branch 'master' into logic

    @fredrik-bakke
    fredrik-bakke authored Nov 21, 2024
    Configuration menu
    Copy the full SHA
    e2268d7 View commit details
    Browse the repository at this point in the history

  2. pre-commit

    @fredrik-bakke
    fredrik-bakke committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    10ea509 View commit details
    Browse the repository at this point in the history

  3. fix pi-finite types

    @fredrik-bakke
    fredrik-bakke committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    c043747 View commit details
    Browse the repository at this point in the history

  4. more logic

    @fredrik-bakke
    fredrik-bakke committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    c8237da View commit details
    Browse the repository at this point in the history

  5. remove redundant formalization

    @fredrik-bakke
    fredrik-bakke committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    f0555c4 View commit details
    Browse the repository at this point in the history

  6. pre-commit

    @fredrik-bakke
    fredrik-bakke committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    b7a662b View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. remove hanging link

    @fredrik-bakke
    fredrik-bakke committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    1cd924a View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2024

  1. an edit

    @fredrik-bakke
    fredrik-bakke committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    3d6cd60 View commit details
    Browse the repository at this point in the history