Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 28, 2025

• Bump Lean version to v4.24.0. (#205)

  abdoo8080

  authored
  a62ff46

  Copy full SHA for a62ff46

Commits on Oct 3, 2025

• Fix TransFns and add reconstruction for incremental linearization (#203)

  Show description for d6c048b
  

  3 peopleauthored
  d6c048b

  Copy full SHA for d6c048b

• Add files for embedding (#202)

  deancureton

  authored
  d982b8b

  Copy full SHA for d982b8b

Commits on Sep 18, 2025

• Bump to Lean v4.23.0 (#201)

  dranov

  authored
  0b1647f

  Copy full SHA for 0b1647f

Commits on Sep 15, 2025

• Support counter-examples with mono. (#200)

  abdoo8080

  authored
  7949b2a

  Copy full SHA for 7949b2a

Commits on Sep 13, 2025

• Fix timeouts and add ability for passing custom solver options (#199)

  Show description for a79af6c
  dranov

  authored
  a79af6c

  Copy full SHA for a79af6c

Commits on Sep 8, 2025

• Update to Lean toolchain v4.22.0. (#198)

  abdoo8080

  authored
  639e041

  Copy full SHA for 639e041

Commits on Aug 30, 2025

• Fix bug on reconstruction of mult_abs_comparison (#197)

  Show description for bb87c6c
  tomaz1502

  authored
  bb87c6c

  Copy full SHA for bb87c6c

Commits on Aug 28, 2025

• Support unsat-core and counter-examples. (#196)

  Show description for dc382d1
  abdoo8080

  authored
  dc382d1

  Copy full SHA for dc382d1

Commits on Aug 22, 2025

• Turn auto into an optional preprocessing step inside smt. (#194)

  abdoo8080

  authored
  ef68801

  Copy full SHA for ef68801

Commits on Aug 13, 2025

• Update to Lean toolchain v4.21.0. (#191)

  abdoo8080

  authored
  0a9304e

  Copy full SHA for 0a9304e

Commits on Aug 12, 2025

• Update to Lean toolchain v4.20.0. (#190)

  abdoo8080

  authored
  65f2ee7

  Copy full SHA for 65f2ee7

Commits on Aug 5, 2025

• Update README.md

  tomaz1502

  authored
  5b84a0b

  Copy full SHA for 5b84a0b

Commits on May 23, 2025

• Sync with cvc5 and add support for Windows. (#184)

  Show description for db6a7ca
  abdoo8080

  authored
  db6a7ca

  Copy full SHA for db6a7ca

Commits on May 17, 2025

• Add smt tactic configs. (#183)

  abdoo8080

  authored
  e994ff0

  Copy full SHA for e994ff0

Commits on May 14, 2025

• Fix a bug in `ARITH_MULT_SIGN` tactic. (#182)

  abdoo8080

  authored
  797ea27

  Copy full SHA for 797ea27

• Stop using quote4 in pattern-matching to improve performance. (#181)

  abdoo8080

  authored
  e374975

  Copy full SHA for e374975

Commits on May 11, 2025

• Update Lean toolchain to v4.19.0. (#179)

  abdoo8080

  authored
  5d35ecc

  Copy full SHA for 5d35ecc

Commits on May 9, 2025

• Update Lean toolchain to v4.18.0. (#178)

  abdoo8080

  authored
  da4ba9a

  Copy full SHA for da4ba9a

• Update Lean toolchain to v4.17.0. (#177)

  abdoo8080

  authored
  ac1c815

  Copy full SHA for ac1c815

Commits on May 8, 2025

• Fix subtle miniscope and RARE bugs. (#176)

  abdoo8080

  authored
  8ee68ab

  Copy full SHA for 8ee68ab

Commits on May 7, 2025

• Sync with cvc5 and fix many subtle bugs. (#175)

  abdoo8080

  authored
  e066f71

  Copy full SHA for e066f71

Commits on May 6, 2025

• Prove remaining absMul lemmas (#174)

  tomaz1502

  authored
  7af3e76

  Copy full SHA for 7af3e76

Commits on May 4, 2025

• Support `ARITH_MULT_ABS_COMPARISON` proof rule. (#171)

  Show description for 98b12d9
  

  abdoo8080

  and

  tomaz1502

  authored
  98b12d9

  Copy full SHA for 98b12d9

Commits on Mar 19, 2025

• Update README.md (#170)

  abdoo8080

  authored
  1df3f34

  Copy full SHA for 1df3f34

• Support ABSORB and other proof rules. (#168)

  abdoo8080

  authored
  625628e

  Copy full SHA for 625628e

Commits on Mar 14, 2025

• Fix compilation of Smt.Reconstruct.Arith

  tomaz1502

  committed
  9b81e91

  Copy full SHA for 9b81e91

Commits on Feb 25, 2025

• Theorems for transcendental functions (#167)

  Show description for 7b8651b
  

  3 peopleauthored
  7b8651b

  Copy full SHA for 7b8651b

Commits on Jan 27, 2025

• Sync with auto. (#166)

  Show description for 5e5d309
  abdoo8080

  authored
  5e5d309

  Copy full SHA for 5e5d309

Commits on Jan 26, 2025

• feat: `Rat.Polynorm` sorries and `Real.Polynorm` (#165)

  Show description for 3d4f9e4
  mhk119

  authored
  3d4f9e4

  Copy full SHA for 3d4f9e4

Commits on Jan 23, 2025

• Fix reconstruction bugs. (#164)

  abdoo8080

  authored
  ed41850

  Copy full SHA for ed41850

Commits on Jan 22, 2025

• Lemmas about rational numbers (#158)

  Show description for 504ddf7
  

  tomaz1502

  and

  AdrienChampion

  authored
  504ddf7

  Copy full SHA for 504ddf7

Commits on Jan 16, 2025

• Sync with lean-cvc5. (#163)

  abdoo8080

  authored
  4cdea12

  Copy full SHA for 4cdea12

Commits on Jan 15, 2025

• Update README.md. (#162)

  abdoo8080

  authored
  7f3956d

  Copy full SHA for 7f3956d

Commits on Jan 10, 2025

• Update Lean toolchain. (#160)

  Show description for 61dde70
  abdoo8080

  authored
  61dde70

  Copy full SHA for 61dde70

Pagination

Previous

Next