Code

[WIP] Int/Rat lemmas#120

Code

Closed

AdrienChampion wants to merge 7 commits intoufmg-smite:mainufmg-smite/lean-smt:mainfrom anzenlang:adrien_augment_pr112anzenlang/lean-smt:adrien_augment_pr112Copy head branch name to clipboard

+705-9

Commits

Commits on Jun 19, 2024

• chore: prove Rat core lemmas

  AdrienChampion

  committed
  db77cbf

  Copy full SHA for db77cbf

• chore: Int/Rat lemmas

  AdrienChampion

  committed
  02ad877

  Copy full SHA for 02ad877

Commits on Jun 20, 2024

• feat: Rat.le_def and Rat.lt_def

  AdrienChampion

  committed
  86acef5

  Copy full SHA for 86acef5

Commits on Jul 8, 2024

• chore: merge with main

  AdrienChampion

  committed
  013047f

  Copy full SHA for 013047f

• chore: proved Rat.eq_neg_of_add_eq_zero_left

  AdrienChampion

  committed
  02c0907

  Copy full SHA for 02c0907

Commits on Jul 22, 2024

• chore: fix upstream merge

  AdrienChampion

  committed
  180678d

  Copy full SHA for 180678d

• feat: more useful Int/Rat lemmas

  AdrienChampion

  committed
  eb8dbc1

  Copy full SHA for eb8dbc1