Code

check Vampire status correctly#2125

Code

Merged

daniilsvc merged 1 commit intomasterspechub/Hets:masterfrom 2013_status_for_Vampire_prover_in_TPTPspechub/Hets:2013_status_for_Vampire_prover_in_TPTPCopy head branch name to clipboardOct 20, 2022

+6-6

Commits

Commits on Oct 20, 2022

• check Vampire status correctly

  daniilsvc

  committed
  e50f348

  Copy full SHA for e50f348