Skip to content

Pull requests: ImperialCollegeLondon/FLT

New pull request New
13 Open 712 Closed
13 Open 712 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

chore: update to module system
#904 opened Apr 20, 2026 by kbuzzard Collaborator Loading…
feat: add test infrastructure and test
#778 opened Nov 29, 2025 by kbuzzard Collaborator Loading…
feat: prove FreyCurve.torsion_not_isIrreducible modulo 1980s (#760) awaiting-review
#761 opened Nov 5, 2025 by stepan2698-cpu Loading…
41
feat: add statement of modularity lifting theorem
#757 opened Oct 28, 2025 by kbuzzard Collaborator Loading…
Taylor Kim note chapter 01 awaiting-author
#741 opened Oct 9, 2025 by bourbaki120205 Loading…
15
feat (Fujisakis): Module topology on a product is the product of the module topologies awaiting-author
#736 opened Oct 3, 2025 by WilliamCoram Contributor Loading…
33
chore: allow CI to run on github-actions
#702 opened Aug 23, 2025 by kbuzzard Collaborator Loading…
1
fill in sorrys awaiting-author
#691 opened Aug 7, 2025 by Nebula691 Loading…
12
feat: begin to add translation of Taylor-Kim chapter 21 WIP
#690 opened Aug 7, 2025 by kbuzzard Collaborator Loading…
5
feat: make projective space awaiting-author
#635 opened Jun 12, 2025 by kckennylau Loading…
8
feat(blueprint.yml): run shake in CI awaiting-author
#614 opened Jun 4, 2025 by grunweg Contributor Loading…
3
Deformations reference-only This PR will not be merged; it is just older work which may serve as a useful reference
#481 opened May 11, 2025 by kbuzzard Collaborator Loading…
GL_2(O_v) is open in GL_2(K_v) awaiting-author WIP
#456 opened Apr 30, 2025 by kbuzzard Collaborator Loading…
ProTip! Updated in the last three days: updated:>2026-04-17.