kai-e.github.io
Exercises in Formalisation/Proof with PVS
Problem 22
Problem 69
Problem 85
Problem 96
XOR vs mod