Contracts This folder contains contracts formally specified and verified using the formal tools of FinCert.