-
Notifications
You must be signed in to change notification settings - Fork 31
Pull requests: teorth/estimates
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Keep proof mode active when earlier or nested goals remain
#56
opened Sep 12, 2026 by
Chessing234
Contributor
Loading…
Require symbolic evidence before promoting a variable to nonzero
#55
opened Sep 9, 2026 by
Chessing234
Contributor
Loading…
Remove unused vulnerable packages and patch the UI toolchain
#54
opened Sep 9, 2026 by
Chessing234
Contributor
Loading…
Pass use_sympy into recursive rsimp walks
#53
opened Sep 8, 2026 by
Chessing234
Contributor
Loading…
Name Let/Set definitional hyps after the uniquified variable
#52
opened Sep 8, 2026 by
Chessing234
Contributor
Loading…
fix: correct Amgm.description to match GM ≤ AM
#51
opened Aug 31, 2026 by
Chessing234
Contributor
Loading…
1 of 2 tasks
fix: sympify Littlewood-Paley sqrt/bracket inputs
#49
opened Aug 10, 2026 by
Chessing234
Contributor
Loading…
fix: correct Type docstring and accepted-types quoting
#48
opened Jul 31, 2026 by
Chessing234
Contributor
Loading…
2 tasks
fix: ProofTree tactic guard, exact bracket/sqrt, linprog docs
#47
opened Jul 24, 2026 by
Chessing234
Contributor
Loading…
3 tasks done
fix: Z3 counterexample check and impossible_example spelling
#46
opened Jul 24, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: require ByCases statements to be defined
#45
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: drop stray paren in ApplyTheta string form
#44
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: stop asymp from becoming True on failed Theta
#43
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: annotate min_objects as returning a set
#42
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: avoid shared mutable default hypothesis sets
#41
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: split Eq when Max/Min is on the left
#40
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: typeof(var) in type-tactic inconsistency errors
#39
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: interpolate proofassistant navigation messages
#38
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: allow Theta on Abs when positivity unknown
#37
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: SubstAll no-effect detection
#36
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: LogLinarith Ne disjunct nesting
#35
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: LogLinarith GreaterThan direction
#34
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: stop SimpAll(repeat=True) from looping forever
#33
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: correct Linarith/LogLinarith docs kwargs
#32
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: correct AM-GM geometric mean in README
#31
opened Jul 18, 2026 by
Chessing234
Contributor
Loading…
1 task done
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.