Lean repository linked
The Shintani–Faddeev modular cocycle: Stark units from q-Pochhammer ratios
arXiv:2411.06763 · arXiv
Lean formalisations (1)
marozols/SIC-existence at 91e3a438beb8
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.