fixed one name (#438)

leanprover-community · Feb 4, 2024 · 95430f0 · 95430f0
1 parent f7f6b96
commit 95430f0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lean.bib b/lean.bib
@@ -455,7 +455,7 @@ @InProceedings{   deFrutos23
 
 @InProceedings{   deFrutosNuccio24,
   author        = {de Frutos-Fern\'{a}ndez, Mar\'{\i}a In\'{e}s and N{uccio
-                  Mortarino Majno di Capriglio, Filippo A. E.}},
+                  Mortarino Majno di Capriglio}, Filippo A. E.},
   title         = {A Formalization of Complete Discrete Valuation Rings and
                   Local Fields},
   year          = {2024},
@@ -481,7 +481,7 @@ @InProceedings{   deFrutosNuccio24
                   of the field Fp((X)) of Laurent series over Fp are local
                   fields.},
   booktitle     = {Proceedings of the 13th ACM SIGPLAN International
-                  Conference on Certified Programs and Proofs},
+                  Conference on Certified Programs and Proofs {(CPP '24)}},
   pages         = {190–204},
   numpages      = {15},
   keywords      = {mathlib, local fields, formal mathematics, discrete