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: malformed Example 11.8.2/11.8.3 Verso doc comments
#587 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: duplicate Exercise 9.8.4 Verso doc labels
#586 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: duplicate Exercise 9.1.6 doc label on closure_of_subset_closure
#585 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: malformed Example 9.8.4 Verso doc comment
#584 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: Ex. 1.2.13 indicator limits need ae convergence
#582 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: Section 1.4.3 Example 1.4.28/29 Verso doc labels
#583 opened Jul 14, 2026 by Chessing234 Contributor Loading…
1 task
fix: Theorem 11.8.8 parts cite wrong exercise number
#580 opened Jul 8, 2026 by Chessing234 Contributor Loading…
1 task done
fix: Section 3.1 Verso doc labels (axioms, definitions, Prop 3.1.27)
#575 opened Jul 8, 2026 by Chessing234 Contributor Loading…
1 task done
fix: Ex. 1.2.18/1.2.24 duplicate doc labels
#574 opened Jul 8, 2026 by Chessing234 Contributor Loading…
1 task done
fix: malformed Definition 10.1.11 doc comment
#570 opened Jul 8, 2026 by Chessing234 Contributor Loading…
1 task done
fix: Ex. 1.4.18(i) slice_fst/slice_snd labels
#564 opened Jul 7, 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 i on any issue or pull request to go back to the issue listing page.