homalg-project/HigherHomologicalAlgebra
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
GAP
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
GAP