Cardano requires that all white paper proofs written need to be machine checked as proofs tend to be long and complex. Additionally, all code will be written in the language Isabelle, as it more expression and diverse and can be used with higher-order logic constructs.