Skip to content

Pull requests: morluto/jacobian

New pull request New
24 Open 255 Closed
24 Open 255 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

benchmarks: add cyclotomic reciprocity certificate
#337 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
15
benchmarks: add exponential moment rationality certificate
#336 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
15
chore(main): release jacobian 0.7.1 autorelease: pending
#335 opened Aug 2, 2026 by github-actions Bot Loading…
2
benchmarks: add symmetric polynomial divisibility certificate
#334 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
21
benchmarks: add continuant reversal certificate
#333 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
25
benchmarks: add trigonometric power-sum valuation certificate
#332 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
25
benchmarks: expose infinite-dimensional eigenvalue-set scope
#331 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
28
benchmarks: audit fallback zeros outside a series domain
#330 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
19
benchmarks: add indexed pairwise vacuity audit
#329 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
30
Build benchmark evaluation infrastructure
#328 opened Aug 2, 2026 by kaoru0822-kitauji Loading…
26
benchmarks: add convergence mode separation audit
#326 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
33
benchmarks: add limsup quantifier alignment audit
#325 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
32
benchmarks: add nonclosed projection image construction
#324 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
19
benchmarks: add subset-incidence determinant factorization
#323 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
20
benchmarks: add cubic-form image classification
#322 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
21
benchmarks: add Lean guard scope assurance audit
#321 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
15
benchmarks: add inseparability minimal-polynomial audit
#319 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
12
benchmarks: add RSA exponent-domain proof audit
#318 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
15
benchmarks: add covering path-lift bijection
#317 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
13
benchmarks: add radical-system uniqueness audit
#316 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
18
benchmarks: certify polynomial divisibility uniqueness
#314 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
45
benchmarks: audit squarefree-class independence reasoning
#313 opened Aug 2, 2026 by yuelgrace1810-ops Collaborator Loading…
18
benchmarks: audit all-exponents Gaussian moment reasoning
#312 opened Aug 1, 2026 by yuelgrace1810-ops Collaborator Loading…
22
benchmarks: audit research status evidence
#309 opened Aug 1, 2026 by yuelgrace1810-ops Collaborator Loading…
37
ProTip! Filter pull requests by the default branch with base:main.