[Agda] Can intuitionistic type theory express derivations of physical equations more strictly?

[Hidekazu IWAKI]

Hello,

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.

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?

sincerely,

IWAKI Hidekazu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170928/c47eb6bb/attachment.html>