Effective homology of bicomplexes, formalized in Coq
scientific article; zbMATH DE number 5865584
scientific article