This page shows all presentations of this author published in EasyChair Smart Slide.
Elementary Simplicial Collapses in Cubical Agda
Maximilian Doré
Towards intuitive reasoning in axiomatic geometry
Maximilian Doré and Krysia Broda