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

Support for Goéland and SC-TPTP #211

Merged
merged 11 commits into from
Apr 8, 2024
Merged

Support for Goéland and SC-TPTP #211

merged 11 commits into from
Apr 8, 2024

Commits on Feb 21, 2024

  1. add support for sequents in FOL in the leo parser and changed the sbt… 

    … file to use my fork of it.

Support annotations in the tptp package, support extracting inferences and parameters for proof steps. Reconstruct Hypothesis now, rest should be straightforward.
    @SimonGuilloud
    SimonGuilloud committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e4dc216 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. print should work ?

    @SimonGuilloud
    SimonGuilloud committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    fd9bdd9 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Add support for SC-TPTP proof parsing and use of Goeland as a proof t… 

    …actic. Update documentation and manual. Some improvements can still be done (support for equality, axioms...)
    @SimonGuilloud
    SimonGuilloud committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    0e8332c View commit details
    Browse the repository at this point in the history

  2. add missing files

    @SimonGuilloud
    SimonGuilloud committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    0e1267e View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. update goeland exec.

    @SimonGuilloud
    SimonGuilloud committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    24a7fad View commit details
    Browse the repository at this point in the history

  2. Merge branch 'cmain' into tstp

    @SimonGuilloud
    SimonGuilloud committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    7398e4d View commit details
    Browse the repository at this point in the history

  3. update CHANGES.md

    @SimonGuilloud
    SimonGuilloud committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    5b9afb2 View commit details
    Browse the repository at this point in the history

  4. mini fix

    @SimonGuilloud
    SimonGuilloud committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    8e4b732 View commit details
    Browse the repository at this point in the history

  5. add one more theorem

    @SimonGuilloud
    SimonGuilloud committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    34ce8ed View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Merge remote-tracking branch 'central/main' into tstp

    @SimonGuilloud
    SimonGuilloud committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    1941b58 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. minor corrections

    @SimonGuilloud
    SimonGuilloud committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    00a4d8b View commit details
    Browse the repository at this point in the history