Filippo A. E. Nuccio Mortarino Majno di Capriglio

4 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 bibliography

Source license: MIT

Is this you?

Request ownership to correct your biography, add links, and publish formal work under this identity.

Claim this profile

Publications

4 Lean publications

These are explicit paper-author relationships from the Lean community bibliography. They are not theorem-level proof attribution.

2024

A formalization of complete discrete valuation rings and local fields

Publication source

2024

Categorical foundations of formalized condensed mathematics

Publication source DOI

2022

A formalization of Dedekind domains and class groups of global fields

Publication source

2021

A Formalization of Dedekind Domains an Class Groups of Global Fields

Publication source DOI

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.