-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: teorth/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: Section_4_1 doc closer uses -/
#596
opened Jul 16, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: replace --/ with -/ in one-line doc comments
#595
opened Jul 16, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: correct Definition 4.3.2 label for distance
#594
opened Jul 16, 2026 by
Chessing234
Contributor
Loading…
1 task done
fix: disambiguate duplicate subtraction doc labels
#593
opened Jul 15, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: close module doc blocks in Section_3_2 and Section_3_5
#592
opened Jul 15, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: malformed doc closers in Section_9_4.lean
#591
opened Jul 15, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: exit build scripts when a standalone command fails
#590
opened Jul 15, 2026 by
Chessing234
Contributor
Loading…
1 of 2 tasks
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: Verso doc comment periods in Section_1_2_2
#563
opened Jul 7, 2026 by
Chessing234
Contributor
Loading…
1 task done
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.