# Halborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023

{% embed url="<https://files.gitbook.com/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FS0VKxLL6FMLB1onYrDVu%2Fuploads%2FauBJzmmsZIR0afW4AD7c%2FTokemak_V2_Smart_Contract_Formal_Verification_Report_Halborn_Draft.pdf?alt=media&token=71af2020-36c6-4929-b4a7-bbab2d5c64a0>" %}