Skip to content

History

Revisions

  • Updated IsFormulaValid (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    028b9d4

  • Updated VerboseTableuxCalculus (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    355cde1

  • Updated CalcFormula (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    a672fa3

  • Updated CalcFormulaDepth (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    41f7bbe

  • Updated BuildAllFormulasInterpritations (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    183dc5f

  • Updated BuildFormulaCalcList (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    3c1d05e

  • Updated IsFormulaValid (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    a9a8763

  • Updated Calculate a formula in tableaux method (markdown)

    @0xGeorgii 0xGeorgii committed Feb 7, 2022
    32ffaea

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    0ce6473

  • Updated VerboseTableuxCalculus (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    ca3ace9

  • Updated VerboseTableuxCalculus (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    6a85045

  • Updated VerboseTableuxCalculus (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    9f41cc6

  • Updated Verbose tableaux method output (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    df1ba84

  • Created Verbose tableaux method output (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    7cb64b2

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    970e29f

  • Updated Calculate a formula in tableaux method (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    be850d2

  • Updated Calculate a formula in tableaux method (markdown)

    @0xGeorgii 0xGeorgii committed May 29, 2021
    602be22

  • Created Calculate a formula in tableaux method (markdown)

    @0xGeorgii 0xGeorgii committed May 3, 2021
    cfccc2c

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed May 3, 2021
    7b5156f

  • Created CalcFormula (markdown)

    @0xGeorgii 0xGeorgii committed May 3, 2021
    0452fb3

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed May 3, 2021
    7f24728

  • Created CalcFormulaDepth (markdown)

    @0xGeorgii 0xGeorgii committed May 3, 2021
    8d759fe

  • Updated BuildAllFormulasInterpritations (markdown)

    @0xGeorgii 0xGeorgii committed Apr 5, 2021
    7a7651d

  • Updated BuildAllFormulasInterpritations (markdown)

    @0xGeorgii 0xGeorgii committed Apr 5, 2021
    f1902be

  • Updated BuildAllFormulasInterpritations (markdown)

    @0xGeorgii 0xGeorgii committed Apr 5, 2021
    dc07174

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed Apr 3, 2021
    8a7f145

  • Created BuildAllFormulasInterpritations (markdown)

    @0xGeorgii 0xGeorgii committed Apr 3, 2021
    13b1bfc

  • Updated BuildFormulaCalcList (markdown)

    @0xGeorgii 0xGeorgii committed Mar 31, 2021
    bd5e3f0

  • Updated BuildFormulaCalcList (markdown)

    @0xGeorgii 0xGeorgii committed Mar 31, 2021
    b46f512

  • Updated _Sidebar (markdown)

    @0xGeorgii 0xGeorgii committed Mar 31, 2021
    8c9adba