Gimle

Verifiable models of the physical world.

physical systems typed programs

⇒ coding models

& formal methods
for physics