Lean repository linked
Thakur's hypotheses on power sums of š¯”½_q[t]
arXiv:2606.16239 Ā· arXiv
Lean formalisations (1)
AxiomMath/zeta-h123 at 67f0d0bb66c9
Linked by the repositoryā€™s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.