In this context it's probably wise to use "proof" carefully, otherwise it's easy to confuse with its mathematical usage. Maybe "Homotopy type theory is also a sign of the relationship between computation, logic and topology" is a better way to express what you were trying to say :)