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

Alphabet generalisation #28

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

Alphabet generalisation #28

wants to merge 11 commits into from

Commits on Apr 16, 2023

  1. generate mm0 file for given list of words

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    37a40a5 View commit details
    Browse the repository at this point in the history

  2. simplified the script slightly

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    e7ad592 View commit details
    Browse the repository at this point in the history

  3. generalised more theorems in 23... and developed mm1 generation part … 

    …of the script
    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    a427b6e View commit details
    Browse the repository at this point in the history

  4. changed a variable name

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    ec18cd9 View commit details
    Browse the repository at this point in the history

  5. generalised more letter theorems

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    316404a View commit details
    Browse the repository at this point in the history

  6. generalised derivative of different letters

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    4328c40 View commit details
    Browse the repository at this point in the history

  7. generlaised fp_implies_regex_interior

    @MirceaS
    MirceaS committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    20795ea View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2023

  1. finished generalising all the theorems in the mm0 code

    @MirceaS
    MirceaS committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    6cc1017 View commit details
    Browse the repository at this point in the history

  2. integrated theory generation for ab alphabet & fixed tests

    @MirceaS
    MirceaS committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    65f8408 View commit details
    Browse the repository at this point in the history

  3. removed comment that is no longer accurate

    @MirceaS
    MirceaS committed Apr 21, 2023
    Configuration menu
    Copy the full SHA
    6d0d753 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2023

  1. addressed PR comments

    @MirceaS
    MirceaS committed Apr 22, 2023
    Configuration menu
    Copy the full SHA
    e5a4fe2 View commit details
    Browse the repository at this point in the history