Skip to content

Pull requests: ImperialCollegeLondon/FLT

New pull request New
21 Open 591 Closed
21 Open 591 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: refactor after change of definition of FiniteAdeleRing to a def WIP
#784 opened Dec 1, 2025 by kbuzzard Loading…
6
feat: add proof of E_noninjective_right
#783 opened Dec 1, 2025 by kbuzzard Loading…
1
feat: fill in NumberField.AdeleRing.ModuleBaseChangeContinuousAddEquiv
#781 opened Nov 30, 2025 by kbuzzard Loading…
chore: remove upstreamed theorems in HaarChar/AddEquiv.lean
#780 opened Nov 30, 2025 by dwrensha Loading…
feat: add test infrastructure and test
#778 opened Nov 29, 2025 by kbuzzard Loading…
feat: ringHaarChar_adeles_rat awaiting-review
#774 opened Nov 27, 2025 by bwangpj Loading…
1
v.adicCompletion ℚ is locally compact
#773 opened Nov 27, 2025 by smmercuri Loading…
4
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 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 Loading…
33
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! Add no:assignee to see everything that’s not assigned.