Kai

Exercises in Formalisation/Proof with PVS