Skip to content

Pull requests: teorth/estimates

New pull request New
17 Open 19 Closed
17 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 reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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! Find all pull requests that aren't related to any open issues with -linked:issue.