Code

Breakdown proof reconstruction file.#81

Code

Merged

abdoo8080 merged 1 commit intoufmg-smite:mainufmg-smite/lean-smt:mainfrom abdoo8080:integrationabdoo8080/lean-smt:integrationCopy head branch name to clipboardMar 5, 2024

+1,552-1,377

Commits

Commits on Mar 5, 2024

• Breakdown proof reconstruction file.

  abdoo8080

  committed
  2d744f8

  Copy full SHA for 2d744f8