All researchers
Lawrence Wu
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
Source for this directory identity
Lean community formalization bibliographySource license: Apache-2.0
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.