Skip to content

Pull requests: CBirkbeck/LeanBridge

New pull request New
10 Open 12 Closed
10 Open 12 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

Added Euler-factor certificate generator
#82 opened Sep 19, 2026 by JaneShi99 Loading…
Formalized cmf LMFDB definitions
#81 opened Aug 19, 2026 by JaneShi99 Loading…
Add certified Galois groups (degree-6 A₄×C₂ / 6T6) via CertifyingInvariantsNF
#80 opened Jul 2, 2026 by CBirkbeck Owner Loading…
1
add lookup tactic
#79 opened Jul 1, 2026 by b-mehta Collaborator Loading…
1
Abstract Hecke ring: the Ring (𝕋 P ℤ) instance
#78 opened Jul 1, 2026 by CBirkbeck Owner • Draft
Abstract Hecke ring: full construction (HeckePair, double-coset quotient, 𝕋, convolution ring)
#77 opened Jun 30, 2026 by CBirkbeck Owner • Draft
Abstract Hecke ring + modular forms over a commensurability class
#76 opened Jun 29, 2026 by CBirkbeck Owner • Draft
1
Elliptic curve definitions bridging LMFDB knowls to Lean
#71 opened Jun 19, 2026 by JaneShi99 Loading…
42
Bump actions/checkout from 5.0.0 to 6.0.2 github_actions Pull requests that update GitHub Actions code
#12 opened Jan 26, 2026 by dependabot Bot Loading…
Bump leanprover/lean-action from 1.3.0 to 1.4.0 github_actions Pull requests that update GitHub Actions code
#11 opened Jan 19, 2026 by dependabot Bot Loading…
ProTip! What’s not been updated in a month: updated:<2026-08-18.