Skip to content

Pull requests: teorth/analysis

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

fix: nonempty/closed hypotheses for Riemann and Darboux integrability
#609 opened Jul 25, 2026 by Chessing234 Contributor Loading…
1 of 2 tasks
fix: disambiguate Verso labels for 3.6.14, 6.4.12, 6.2, and 4.4.2
#608 opened Jul 24, 2026 by Chessing234 Contributor Loading…
1 of 2 tasks
fix: disambiguate Verso labels for 11.2.16, 11.8.8, and 7.5.3
#607 opened Jul 23, 2026 by Chessing234 Contributor Loading…
2 tasks
fix: disambiguate Verso labels for 11.4.1, Ex. 1.1.8, Ex. 1.3.8(vi)
#606 opened Jul 23, 2026 by Chessing234 Contributor Loading…
2 tasks
fix: harden serve.py redirects, docs prefix, traversal, and 404s
#605 opened Jul 23, 2026 by Chessing234 Contributor Loading…
4 of 5 tasks
fix: disambiguate Exercises 6.4.8, 6.5.1, and 8.5.8 Verso labels
#604 opened Jul 23, 2026 by Chessing234 Contributor Loading…
2 tasks
fix: Definition 10.1.11 doc, Prop 3.1.27(a)/(c) labels, Ex. 9.1.9
#603 opened Jul 23, 2026 by Chessing234 Contributor Loading…
2 tasks
fix: ContinuousOn 1/x on [0,1], serve.py 404, Ex. 11.3.1 labels
#602 opened Jul 23, 2026 by Chessing234 Contributor Loading…
3 tasks
fix: three false statements (Egorov domain, 10.4.1/9.3.21 Nat div, Lusin caution)
#601 opened Jul 23, 2026 by Chessing234 Contributor Loading…
2 tasks
fix: insert missing space before Verso docstring closers
#600 opened Jul 18, 2026 by Chessing234 Contributor Loading…
1 task
fix: attach Verso docs to exercise/example labels
#599 opened Jul 18, 2026 by Chessing234 Contributor Loading…
1 task
fix: make Proposition 9.4.9 a Verso docstring
#598 opened Jul 18, 2026 by Chessing234 Contributor Loading…
1 task
fix: Ex. 1.2.18/1.2.24 duplicate doc labels
#574 opened Jul 8, 2026 by Chessing234 Contributor Loading…
1 task done
fix: Verso doc comment periods in Section_1_2_2
#563 opened Jul 7, 2026 by Chessing234 Contributor Loading…
1 task done
Experiment: use push/pull tactic for zpow rewrites
#491 opened Apr 21, 2026 by ldct Contributor Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.