이 논문은 호모토피 타입 이론(HoTT)에서 임의의 계수를 가진 합성 코호몰로지 이론의 개발과 컴퓨터 형식화를 다룹니다. 이를 통해 이전 연구에서 다루었던 정수 코호몰로지를 일반화하고, 코호몰로지 환의 계산을 위한 수학적 세부사항을 제공합니다.