Skip to content

Pull requests: ImperialCollegeLondon/FLT

New pull request New
19 Open 573 Closed
19 Open 573 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

feat: prove FreyCurve.torsion_not_isIrreducible modulo 1980s (#760) awaiting-review
#761 opened Nov 5, 2025 by stepan2698-cpu Loading…
15
Resolve remaining sorrys in AdeleRing.lean
#760 opened Oct 30, 2025 by smmercuri Loading…
2
feat: add statement of modularity lifting theorem
#757 opened Oct 28, 2025 by kbuzzard Loading…
Haar char scaling
#748 opened Oct 16, 2025 by norbs57 Loading…
1
40
Bijection of lTensor awaiting-author
#744 opened Oct 10, 2025 by maddycrim Loading…
1
24
Taylor Kim note chapter 01 awaiting-author
#741 opened Oct 9, 2025 by bourbaki120205 Loading…
15
feat (Fujisaki): ringHaarChar of modules iso to \R^d. awaiting-review
#738 opened Oct 3, 2025 by WilliamCoram Loading…
20
feat (Fujisakis): Module topology on a product is the product of the module topologies awaiting-author
#736 opened Oct 3, 2025 by WilliamCoram Loading…
33
Thm 11 6 new awaiting-author
#718 opened Sep 11, 2025 by abhijit-mudigonda Loading…
9
feat (Fujisaki): units_cocompact modulo sorries
#704 opened Aug 26, 2025 by WilliamCoram Loading…
17
chore: allow CI to run on github-actions
#702 opened Aug 23, 2025 by kbuzzard Loading…
1
fill in sorrys awaiting-author
#691 opened Aug 7, 2025 by Nebula691 Loading…
11
feat: begin to add translation of Taylor-Kim chapter 21 WIP
#690 opened Aug 7, 2025 by kbuzzard Loading…
5
feat: make projective space awaiting-author
#635 opened Jun 12, 2025 by kckennylau Loading…
8
feat: prove group_theory_lemma
#624 opened Jun 9, 2025 by wupr • Draft
2
feat(blueprint.yml): run shake in CI awaiting-author
#614 opened Jun 4, 2025 by grunweg Loading…
3
feat: haar character of restricted product
#562 opened May 27, 2025 by ADedecker • Draft
1
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 Loading…
GL_2(O_v) is open in GL_2(K_v) awaiting-author WIP
#456 opened Apr 30, 2025 by kbuzzard Loading…
ProTip! Exclude everything labeled bug with -label:bug.