Gimle

Verifiable models of the physical world.

physical systems typed programs

⇒ coding models for physics

& formal methods for physics