Computing Cohomology Rings in Cubical Agda