Skip to content

Pull requests: hrmacbeth/math2001

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
Sort

Pull requests list

Errata chapters 6–10 plus tactics index
#16 opened May 30, 2024 by dfpetrin Loading…
Don't override theme settings
#9 opened Jan 12, 2024 by adriandole Loading…
Add by keyword to start the proofs
#5 opened Oct 25, 2023 by therewillbecode Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.