Is this your channel?

Searching for Holes in the Proof Space

34 views· 5 likes· 39:42· Jan 29, 2026

ShareTwitter Facebook LinkedIn Instagram

Given a list of rules, we can build a multiway graph. This graph represents a set of proof spaces for many theorems. Given a theorem in this graph, we can look for every possible proof. How can we define a continuous transformation from one path to another?

Watch on YouTube