The ProVal team was stopped at the end of August 2012, and reborn into a new team
Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.
VerifyThis @ FM2012
http://fm2012.verifythis.org/challenges
The VerifyThis competition at FM2012