// lrr
This vault contains the formal verification benchmarks, Lean 4 proofs, and automated theorem proving runs associated with the FATE-X evaluation on Leak.
To prevent data contamination and preserve benchmark integrity, access to these proofs is restricted to verified evaluators via single-use access codes.