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

add equational_result attribute for tagging implications and negated implications #93

Merged
merged 13 commits into from
Sep 30, 2024
Merged

add equational_result attribute for tagging implications and negated implications #93

merged 13 commits into from
Sep 30, 2024

Commits on Sep 29, 2024

  1. add result command

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ab32f65 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into collect-results

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    efa5611 View commit details
    Browse the repository at this point in the history

  3. refactor: make extract_implications and Visualization use Result.lean

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    2c2edcf View commit details
    Browse the repository at this point in the history

  4. some cleanup

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c79830c View commit details
    Browse the repository at this point in the history

  5. switch to using an attribute

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    35be97b View commit details
    Browse the repository at this point in the history

  6. add support for equations that are unconditionally true

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    d129e97 View commit details
    Browse the repository at this point in the history

  7. add bullet point in CONTRIBUTING.md

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    6b4a4b9 View commit details
    Browse the repository at this point in the history

  8. rename Result.lean -> EquationalResult.lean

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ab428d6 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into collect-results

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    437aa47 View commit details
    Browse the repository at this point in the history

  10. fix typo and use Array instead of List

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    a4d113e View commit details
    Browse the repository at this point in the history

  11. Merge branch 'main' into collect-results

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    4d3726a View commit details
    Browse the repository at this point in the history

  12. add comment justifying usage of an environment extension

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    5a705fd View commit details
    Browse the repository at this point in the history

  13. Merge branch 'main' into collect-results

    @dwrensha
    dwrensha committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    605c45e View commit details
    Browse the repository at this point in the history