-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: cameronfreer/exchangeability
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs(blueprint): article-class restructure, narrative, examples, conclusion
#19
opened May 18, 2026 by
cameronfreer
Owner
Loading…
3 tasks
feat: Add paper materials for AFM-style paper
#14
opened Jan 25, 2026 by
cameronfreer
Owner
Loading…
3 tasks done
refactor: Extract general-purpose lemmas to ForMathlib for upstream contribution
#13
opened Jan 24, 2026 by
cameronfreer
Owner
•
Draft
6 tasks done
ProTip!
Mix and match filters to narrow down what you’re looking for.