This page shows all presentations from this conference published in EasyChair Smart Slide.
Why We Need Structured Proofs in Mathematics
Mauricio Ayala-Rincón and Gabriel Silva