All pull requests

Pull requests

• Preserve complex values in nonzero complex declarations

  #66·chessing234 opened Oct 5, 2026Contributor·

  ·

• Keep calc implication validation active under Python optimization

  #65·chessing234 opened Oct 5, 2026Contributor·

  ·

• Handle Boolean conclusions and hypotheses in linarith

  #64·chessing234 opened Oct 5, 2026Contributor·

  ·

• Validate sympified inputs in the AM-GM lemma

  #63·chessing234 opened Sep 30, 2026Contributor·

  ·

• Fix OrderMul for negative numeric factors

  #62·chessing234 opened Sep 16, 2026Contributor·1 of 2 tasks·

  ·

• Fix stray parenthesis in ApplyTheta __str__

  #61·chessing234 opened Sep 14, 2026Contributor·1 task·

  ·

• Handle empty coeff dicts in Z3 linear sums

  #60·chessing234 opened Sep 14, 2026Contributor·1 task·

  ·

• Stop SimpAll(repeat=True) from looping forever

  #59·chessing234 opened Sep 14, 2026Contributor·1 task done·

  ·

• Fix LogLinarith crash on Ne between orders

  #58·chessing234 opened Sep 14, 2026Contributor·1 task done·

  ·

• Fix LogLinarith flipping a > b into Theta(b) >= Theta(a)

  #57·chessing234 opened Sep 14, 2026Contributor·1 task done·

  ·
  1

• Keep proof mode active when earlier or nested goals remain

  #56·chessing234 opened Sep 12, 2026Contributor·

  ·

• Require symbolic evidence before promoting a variable to nonzero

  #55·chessing234 opened Sep 9, 2026Contributor·

  ·

• Remove unused vulnerable packages and patch the UI toolchain

  #54·chessing234 opened Sep 9, 2026Contributor·

  ·

• Pass use_sympy into recursive rsimp walks

  #53·chessing234 opened Sep 8, 2026Contributor·

  ·

• Name Let/Set definitional hyps after the uniquified variable

  #52·chessing234 opened Sep 8, 2026Contributor·

  ·

• fix: correct Amgm.description to match GM ≤ AM

  #51·chessing234 opened Aug 31, 2026Contributor·1 of 2 tasks·

  ·

• fix: sympify Littlewood-Paley sqrt/bracket inputs

  #49·chessing234 opened Aug 10, 2026Contributor·

  ·

• fix: correct Type docstring and accepted-types quoting

  #48·chessing234 opened Jul 31, 2026Contributor·2 tasks·

  ·
  1

• fix: ProofTree tactic guard, exact bracket/sqrt, linprog docs

  #47·chessing234 opened Jul 24, 2026Contributor·3 tasks done·

  ·

• fix: Z3 counterexample check and impossible_example spelling

  #46·chessing234 opened Jul 24, 2026Contributor·

  ·

• fix: require ByCases statements to be defined

  #45·chessing234 opened Jul 18, 2026Contributor·1 task done·

  ·

• fix: drop stray paren in ApplyTheta string form

  #44·chessing234 opened Jul 18, 2026Contributor·1 task done·

  ·

• fix: stop asymp from becoming True on failed Theta

  #43·chessing234 opened Jul 18, 2026Contributor·1 task done·

  ·

• fix: annotate min_objects as returning a set

  #42·chessing234 opened Jul 18, 2026Contributor·1 task done·

  ·

• fix: avoid shared mutable default hypothesis sets

  #41·chessing234 opened Jul 18, 2026Contributor·1 task done·

  ·