Lean repository linked
Hilbert's fourteenth problem and field modifications
arXiv:1803.08002 · arXiv
Lean formalisations (1)
evgobmm/Hilbert14Kuroda at 580d08c7a184
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.