VerityPareto review draft

Formal Verification for Pareto's Credit Vaults

Prepared for Pareto review Verity Labs