Algebraic Weak Factorization System & Small Object Argument (Lean 4 and UniMath-Coq)
Published:
A parallel development of Algebraic Weak factorization systems in Lean 3 and UniMath
Published:
A parallel development of Algebraic Weak factorization systems in Lean 3 and UniMath