Code

submission iProver#63

Code

Closed

konstantin-korovin wants to merge 4 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom konstantin-korovin:patch-1konstantin-korovin/smt-comp.github.io:patch-1Copy head branch name to clipboard

+27

Commits

Commits on May 27, 2024

• submission iProver

  konstantin-korovin

  authored
  caf7d4d

Commits on May 31, 2024

• Merge branch 'master' into patch-1

  bobot

  authored
  5aeea8d

• Add .json extension to iprover

  bobot

  committed
  a84de98

Commits on Jun 4, 2024

• Merge branch 'master' into patch-1

  bobot

  authored
  142292f