Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2022

• cabal

  lukaszcz

  committed
  21e7245

  Copy full SHA for 21e7245

Commits on Nov 13, 2020

• Merge branch 'master' of https://github.com/lukaszcz/tptp2coq

  lukaszcz

  committed
  6248eaa

  Copy full SHA for 6248eaa

• cabal

  lukaszcz

  committed
  78bec2c

  Copy full SHA for 78bec2c

Commits on Nov 12, 2020

• Update README.md

  lukaszcz

  authored
  57845fe

  Copy full SHA for 57845fe

• Update README.md

  lukaszcz

  authored
  2862bbd

  Copy full SHA for 2862bbd

• Update README.md

  lukaszcz

  authored
  1cd220d

  Copy full SHA for 1cd220d

Commits on Oct 20, 2020

• Merge pull request #1 from jnarboux/master

  Show description for c40c726
  lukaszcz

  authored
  c40c726

  Copy full SHA for c40c726

• Create README.md

  jnarboux

  authored
  38882d0

  Copy full SHA for 38882d0

Commits on Nov 22, 2019

• -e option for equality axioms

  lukaszcz

  committed
  0fbbe92

  Copy full SHA for 0fbbe92

Commits on Nov 15, 2019

• success lists

  lukaszcz

  committed
  e6634aa

  Copy full SHA for e6634aa

• coq strings in comments fix

  lukaszcz

  committed
  34a01c3

  Copy full SHA for 34a01c3

• coq strings in comments fix

  lukaszcz

  committed
  756fc51

  Copy full SHA for 756fc51

• move conjectures at end

  lukaszcz

  committed
  e6e4a54

  Copy full SHA for e6e4a54

Commits on Nov 14, 2019

• count_rating.sh fix

  lukaszcz

  committed
  8378d47

  Copy full SHA for 8378d47

• firstorder

  lukaszcz

  committed
  c065700

  Copy full SHA for c065700

• run.sh

  lukaszcz

  committed
  62fda2d

  Copy full SHA for 62fda2d

• run.sh

  lukaszcz

  committed
  8e60299

  Copy full SHA for 8e60299

• evaluation

  lukaszcz

  committed
  97c92ae

  Copy full SHA for 97c92ae

• avoid clashes with coq reserved names

  lukaszcz

  committed
  f77b22b

  Copy full SHA for f77b22b

Commits on Nov 11, 2019

• parentheses & axiom names fix

  lukaszcz

  committed
  4b2d180

  Copy full SHA for 4b2d180

Commits on Nov 8, 2019

• .gitignore

  lukaszcz

  committed
  0146130

  Copy full SHA for 0146130

• Merge branch 'master' of https://github.com/lukaszcz/tptp2coq

  lukaszcz

  committed
  15b014d

  Copy full SHA for 15b014d

• First commit

  lukaszcz

  committed
  36dc7cf

  Copy full SHA for 36dc7cf

• Initial commit

  lukaszcz

  authored
  01b6956

  Copy full SHA for 01b6956