[evincarofautumn]

I didn’t mean to come off as elitist or anything. It’s definitely interesting to see the line of thinking, and to learn about the formalisms used along the way. But it would benefit, in my mind, from a stronger conclusion: “Look at this system I have derived for physics, using pure mathematics. Observe all its glorious juicy detail. Now look at how elegantly I can express it using type theory.”