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

Basic modal logic #4

Merged
merged 15 commits into from
Oct 31, 2023
Merged

Basic modal logic #4

merged 15 commits into from
Oct 31, 2023

Commits on Oct 24, 2023

  1. mathport results of https://github.com/m4lvin/tablean

    @m4lvin
    m4lvin committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    9c337cc View commit details
    Browse the repository at this point in the history

  2. Bml: Syntax, run separate CI action

    @m4lvin
    m4lvin committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    9d97c56 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Bml: Semantics

    @m4lvin
    m4lvin committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    102cbda View commit details
    Browse the repository at this point in the history

  2. Bml: Setsimp, Modelgraphs, Tableau

    @m4lvin
    m4lvin committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    3bf6859 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Bml: work on Tableau

    @m4lvin
    m4lvin committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    fcfbb0b View commit details
    Browse the repository at this point in the history

  2. Bml: Examples, Vocabulary, Soundness, Tableauexamples, Completeness

    @m4lvin
    m4lvin committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    3277ef1 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. work on Bml, resolving and adding sorries

    @m4lvin
    m4lvin committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    dd43b1c View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. work on Partitions - some sets of four cases-cases got mixed up

    @m4lvin
    m4lvin committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    a89f197 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. resolve sorry in lengthAdd using Finset.sum_insert

    @m4lvin
    m4lvin committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    f29a29d View commit details
    Browse the repository at this point in the history

  2. adjust type of lengthAdd

    @m4lvin
    m4lvin committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    f0652b9 View commit details
    Browse the repository at this point in the history

  3. Bml: sorry-free soundness

    @m4lvin
    m4lvin committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    1a173d6 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Bml: compile it all (but still with sorries - is that a word?)

    @m4lvin
    m4lvin committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    a67849b View commit details
    Browse the repository at this point in the history

  2. add license

    @m4lvin
    m4lvin committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    53df4cc View commit details
    Browse the repository at this point in the history

  3. sorry-free Bml.Completeness

    @m4lvin
    m4lvin committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    b24c248 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Bml: resolve all remaining sorries in Partitions

    @m4lvin
    m4lvin committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    8507273 View commit details
    Browse the repository at this point in the history