pdfformat: 

@InProceedings{defrutosfernandez:LIPIcs.ITP.2023.13, author = {de FrutosFern\'{a}ndez, Mar{\'\i}a In\'{e}s}, title = {{Formalizing Norm Extensions and Applications to Number Theory}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {13:113:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772846}, ISSN = {18688969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18388}, URN = {urn:nbn:de:0030drops183880}, doi = {10.4230/LIPIcs.ITP.2023.13}, annote = {Keywords: formal mathematics, Lean, mathlib, algebraic number theory, padic analysis, Galois representations, padic Hodge theory} }
Keywords:  formal mathematics, Lean, mathlib, algebraic number theory, padic analysis, Galois representations, padic Hodge theory  
Seminar:  14th International Conference on Interactive Theorem Proving (ITP 2023)  
Issue date:  2023  
Date of publication:  26.07.2023  
Supplementary Material:  Software (Source code): https://github.com/mariainesdff/norm_extensions_journal_submission archived at: https://archive.softwareheritage.org/swh:1:dir:01f6b345a06ece970e589d4bbc68ee8b9b2cf58a 