EasyChair Smart Slide
Elementary Simplicial Collapses in Cubical Agda
Elementary Simplicial Collapses in Cubical Agda