Proof Space Insights

Stephen and Lex discuss the concept of proof space and how it relates to homotopia and multicomputation. They delve into the idea of unreachable parts of the graph and the importance of being able to continuously deform paths in proof space. Stephen shares that he plans to experiment with proofs in this space and introduces the idea of multicomputation as a new epoch in making models of things.