La idea és estudiar propietats de les series formals restringides i de les series formals convergents (per un anell commutatiu topològic, o un anell amb un valor absolut no arquimedià), seguint la nombrosa bibliografia sobre el tema, i alhora aprofitar per aprendre Lean4 i la formalització de resultats matemàtics.
El treball es pot entendre com una continuació o extensió de l’assignatura d’estructures algebraiques i d’àlgebra commutativa, però els requisits són només l’assignatura d’estructures.