Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."