The directory cubical/... is a copy of the cubical library containing our formalisation. Please see cubical/Cubical/Papers/Containers.agda for the summary file of the formalisation.
We have type-checked our code using versions 2.6.4.3 and 2.6.5 of Agda.