Skip to content

Pull requests: teorth/estimates

New pull requestNew
19 Open 19 Closed
19 Open 19 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

fix: sympify Littlewood-Paley sqrt/bracket inputs
#49 opened Aug 10, 2026 by Chessing234ContributorLoading…
fix: correct Type docstring and accepted-types quoting
#48 opened Jul 31, 2026 by Chessing234ContributorLoading…
2 tasks
1
fix: ProofTree tactic guard, exact bracket/sqrt, linprog docs
#47 opened Jul 24, 2026 by Chessing234ContributorLoading…
3 tasks done
fix: Z3 counterexample check and impossible_example spelling
#46 opened Jul 24, 2026 by Chessing234ContributorLoading…
1 task done
fix: require ByCases statements to be defined
#45 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: drop stray paren in ApplyTheta string form
#44 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: stop asymp from becoming True on failed Theta
#43 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: annotate min_objects as returning a set
#42 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: avoid shared mutable default hypothesis sets
#41 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: split Eq when Max/Min is on the left
#40 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: typeof(var) in type-tactic inconsistency errors
#39 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: interpolate proofassistant navigation messages
#38 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: allow Theta on Abs when positivity unknown
#37 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: SubstAll no-effect detection
#36 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: LogLinarith Ne disjunct nesting
#35 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: LogLinarith GreaterThan direction
#34 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: stop SimpAll(repeat=True) from looping forever
#33 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: correct Linarith/LogLinarith docs kwargs
#32 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
fix: correct AM-GM geometric mean in README
#31 opened Jul 18, 2026 by Chessing234ContributorLoading…
1 task done
ProTip! Filter pull requests by the default branch with base:main.