Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024

This report describes the specification and verification of the Tokemak v2 LMPStrategy contract using the Certora Prover and manual code review findings. The work was undertaken from January 2nd 2023