Code

[WIP] Add Tptp v8.2#204

Code

Open

Gbury wants to merge 3 commits intomasterGbury/dolmen:masterfrom tptp_v8.2Gbury/dolmen:tptp_v8.2Copy head branch name to clipboard

+5,348-75

Commits

Commits on Jan 12, 2024

• WIP

  Gbury

  committed
  567c8b8

  Copy full SHA for 567c8b8

Commits on Jan 15, 2024

• WIP

  Gbury

  committed
  02723ad

  Copy full SHA for 02723ad

Commits on Jan 26, 2024

• WIP

  Gbury

  committed
  99be844

  Copy full SHA for 99be844