Lean repository linked
Uniformization of Riemann surfaces revisited
arXiv:2008.12189 · arXiv
Lean formalisations (1)
rkirov/jordan_pick at b3c9b7cf7358
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.