FactorizationSystems A formalization of factorization systems in Lean 4. More information available on the project webpage.