Code

Named lemmas in SMT-LIB format#1141

Code

Merged

Halbaroth merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:dolmen-named-lemmaHalbaroth/alt-ergo:dolmen-named-lemmaCopy head branch name to clipboardJun 7, 2024

+5

Commits

Commits on Jun 6, 2024

• Named lemmas in SMT-LIB format

  Show description for c1e2459
  Halbaroth

  committed
  c1e2459