-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: YaelDillies/apap
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: bump mathlib to 79d0395, fix breaking changes
dependency-incompatibility-fix
Fix PR for a dependency incompatibility, opened by downstream-reports
#22
opened Jul 16, 2026 by
github-actions
Bot
Loading…
feat: make
NewMarcinkiewiczZygmund sorry-free
#20
opened Jun 30, 2026 by
sqrt-of-2
Contributor
Loading…
feat: add comparator CI to verify theorem
ff
#19
opened Jun 29, 2026 by
sqrt-of-2
Contributor
Loading…
refactor: use the compact normalisation in physical space
#9
opened Feb 10, 2025 by
YaelDillies
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:master.