All researchers
Floris van Doorn
13 Lean publications
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
Source for this directory identity
Lean community formalization bibliographySource license: Apache-2.0
Research links
Is this you?
Request ownership to correct your biography, add links, and publish formal work under this identity.
Claim this profilePublications
13 Lean publications
These are explicit paper-author relationships from the Lean community bibliography. They are not theorem-level proof attribution.
2024
Integrals within integrals: a formalization of the gagliardo-nirenberg-sobolev inequality
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.