Code

Polynorm proofs#124

Code

Merged

abdoo8080 merged 15 commits intoufmg-smite:mainufmg-smite/lean-smt:mainfrom mhk119:polynormmhk119/lean-smt:polynormCopy head branch name to clipboardSep 30, 2024

+119-12

Commits

Commits on Jul 10, 2024

• lemmas

  mhk119

  committed
  c237ed2

  Copy full SHA for c237ed2

Commits on Jul 11, 2024

• sorries

  mhk119

  committed
  6394a9a

  Copy full SHA for 6394a9a

Commits on Jul 25, 2024

• progress

  mhk119

  committed
  36e03aa

  Copy full SHA for 36e03aa

Commits on Jul 29, 2024

• no sorries

  mhk119

  committed
  d932310

  Copy full SHA for d932310

• small changes

  mhk119

  committed
  7ab8e70

  Copy full SHA for 7ab8e70

Commits on Aug 12, 2024

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 42e616d
  

  mhk119

  and

  abdoo8080

  authored
  42e616d

  Copy full SHA for 42e616d

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 5b92d62
  

  mhk119

  and

  abdoo8080

  authored
  5b92d62

  Copy full SHA for 5b92d62

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for c52b300
  

  mhk119

  and

  abdoo8080

  authored
  c52b300

  Copy full SHA for c52b300

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 1188519
  

  mhk119

  and

  abdoo8080

  authored
  1188519

  Copy full SHA for 1188519

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 69967d4
  

  mhk119

  and

  abdoo8080

  authored
  69967d4

  Copy full SHA for 69967d4

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for d87b0dd
  

  mhk119

  and

  abdoo8080

  authored
  d87b0dd

  Copy full SHA for d87b0dd

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 0e9566d
  

  mhk119

  and

  abdoo8080

  authored
  0e9566d

  Copy full SHA for 0e9566d

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for a91c734
  

  mhk119

  and

  abdoo8080

  authored
  a91c734

  Copy full SHA for a91c734

Commits on Sep 30, 2024

• Update Smt/Reconstruct/Int/Polynorm.lean

  Show description for 18c0649
  

  mhk119

  and

  abdoo8080

  authored
  18c0649

  Copy full SHA for 18c0649

• requested changes

  mhk119

  committed
  70d894d

  Copy full SHA for 70d894d