Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: ctrekker/Deductive.jl
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.0.1
Choose a base ref
...
head repository: ctrekker/Deductive.jl
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v0.0.2
Choose a head ref
  • 16 commits
  • 8 files changed
  • 1 contributor

Commits on Dec 12, 2021

  1. Untested first order logic tableau proof

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    c5e34ea View commit details
    Browse the repository at this point in the history

  2. Unit testing github workflow

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    1695486 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of https://github.com/ctrekker/Deductive.jl into … 

    …main
    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    e76fb98 View commit details
    Browse the repository at this point in the history

  4. Include guide section on predicates

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    b631468 View commit details
    Browse the repository at this point in the history

  5. Fix lingering denial of existential quantifier issue

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    cd8043f View commit details
    Browse the repository at this point in the history

  6. Maybe fix test workflow

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    81bd5b9 View commit details
    Browse the repository at this point in the history

  7. Try try again

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    876c9e2 View commit details
    Browse the repository at this point in the history

  8. Update dependencies and reduce testing platforms

    @ctrekker
    ctrekker committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    a8f8329 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2021

  1. Very broken predicate proofs

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    5fc8147 View commit details
    Browse the repository at this point in the history

  2. Fix idiotic mistake

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    9ec6ac4 View commit details
    Browse the repository at this point in the history

  3. Local function abstraction

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    c6ce8ff View commit details
    Browse the repository at this point in the history

  4. Add some clarifying comments

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    82ea4f1 View commit details
    Browse the repository at this point in the history

  5. Written proofs for propositional logic (incomplete reasoning)

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    2773fba View commit details
    Browse the repository at this point in the history

  6. Pretty print proof as table

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    01a8a21 View commit details
    Browse the repository at this point in the history

  7. Updates to readme

    @ctrekker
    ctrekker committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    35d4872 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2021

  1. Bump patch version

    @ctrekker
    ctrekker committed Dec 15, 2021
    2 Configuration menu
    Copy the full SHA
    c118431 View commit details
    Browse the repository at this point in the history
Loading