This talk sketches the built proof systems landscape, and discusses current and potential future applications of these systems in practice. The focus is both on the relative strengths and weaknesses of existing approaches and on the challenges common to all systems. We close with a brief "wish list" of open problems that have the potential to reshape this exciting research area.