Skip to content

Pull requests: TauCetiProject/TauCetiRoadmap

New pull request New
51 Open 166 Closed
51 Open 166 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

progress: ReductiveGroups report for 2026-08-27
#291 opened Aug 28, 2026 by mccorvie Loading…
1
docs(SpinRepresentations): drop roadmap Layer references from Suggested.lean
#290 opened Aug 27, 2026 by kim-em Contributor Loading…
feat: Roadmap for the Four color theorem
#289 opened Aug 27, 2026 by metakunt Loading…
2
fix: align modular forms with the Fuchsian roadmap awaiting-review
#288 opened Aug 26, 2026 by Paul-Lez • Draft
1
feat: roadmap for arithmetic heights and Siegel's lemma awaiting-review
#287 opened Aug 26, 2026 by rwst Loading…
feat: roadmap for theta series of lattice awaiting-review
#286 opened Aug 26, 2026 by seewoo5 Loading…
4
feat: roadmap for high-dimensional differential topology and homotopy spheres awaiting-review
#284 opened Aug 25, 2026 by Paul-Lez • Draft
3
feat: roadmap for algebraic topology of spaces and manifolds awaiting-review
#283 opened Aug 25, 2026 by Paul-Lez • Draft
5
feat: roadmap for Fuchsian groups and orbifold Riemann surfaces awaiting-review
#282 opened Aug 25, 2026 by Paul-Lez • Draft
3
feat: roadmap for analytic toric geometry
#281 opened Aug 25, 2026 by Paul-Lez Loading…
3
feat: roadmap for complex tori and logarithmic transforms
#280 opened Aug 25, 2026 by Paul-Lez Loading…
2
feat: roadmap for complex manifolds, quotients, bundles, and gluing
#279 opened Aug 25, 2026 by Paul-Lez Loading…
4
progress: AdicSpaces report for 2026-08-21
#277 opened Aug 22, 2026 by mccorvie Loading…
1
progress: ReductiveGroups report for 2026-08-21
#276 opened Aug 22, 2026 by mccorvie Loading…
1
progress: EllipticCurves report for 2026-08-21
#275 opened Aug 22, 2026 by mccorvie Loading…
1
progress: AdicSpaces report for 2026-08-21
#274 opened Aug 22, 2026 by mccorvie Loading…
1
Add roadmap: planar and surface topology awaiting-review
#271 opened Aug 20, 2026 by mccorvie Loading…
Add roadmap: structured block operators and certified fast application
#260 opened Aug 17, 2026 by emberian • Draft
Add roadmap: finite discrete-time quantum walks
#259 opened Aug 17, 2026 by emberian • Draft
Add roadmap: finite spectral graph theory and continuous-time quantum walks
#258 opened Aug 17, 2026 by emberian • Draft
Add roadmap: equitable partitions and finite operator reduction
#257 opened Aug 17, 2026 by emberian • Draft
Expand roadmap: Integral quadratic forms and lattices awaiting-dependencies awaiting-review
#256 opened Aug 17, 2026 by roed-math Contributor Loading…
6
Add roadmap: Orthogonal and spin groups awaiting-dependencies
#255 opened Aug 17, 2026 by roed-math Contributor Loading…
3
Add roadmap: Global quadratic forms and the Hasse principle awaiting-dependencies
#254 opened Aug 17, 2026 by roed-math Contributor Loading…
3
Add roadmap: Zeros of L-functions awaiting-dependencies
#253 opened Aug 17, 2026 by roed-math Contributor Loading…
1
ProTip! Adding no:label will show everything without a label.