All researchers
Timothy Gowers
1 Lean publication
About
This unclaimed directory entry records publication authorship from source-pinned Lean bibliography and project citation metadata. It does not assign authorship of any specific Lean proof.
Directory provenance
Is this you?
Request ownership to correct your biography, add links, and publish formal work under this identity.
Claim this profilePublications
1 Lean publication
These are explicit paper-author relationships from the Lean community bibliography. They are not theorem-level proof attribution.
Formal work
0 indexed works
No theorem-level proof records are attached to this profile. Therefore does not infer proof authorship from publication authorship, repository activity, or project membership.