Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"