Description

Falling blocks telling you what time is it.

See more at http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist