CP-Project Program Calculus project made in the context of the subject of Program Calculus @ Minho University. Made by: a93166 - João Carvalho a93202 - Francisco Neves a93310 - Joaquim Roque Grade: 20/20