The dev branch of vinium-lending-contract does not contain the path audits/Certora-FV-vinium-v2-03-12-2020.pdf.