<div dir="auto">Hello,<div dir="auto"><br></div><div dir="auto">I'd like to describe a physical system with the intuitionistic type theory(not computer simulation).  I wonder if it is possible to convince readers that all famous physical equations have evenly a strict derivation. So I want to confirm it with the type theory.</div><div dir="auto"><br></div><div dir="auto">In order to refer, I'm looking about such a system, a plot or a interpretation of value with type in physics. Does anyone know such a information?</div><div dir="auto"><br></div><div dir="auto">sincerely,</div><div dir="auto"><br></div><div dir="auto">IWAKI Hidekazu</div></div>