Some tips on doing program proofs in Creusot 15 minute read – This is a Work In Progress! Going to add more stuff soon™ –