Verification effort of Plonky3's Mersenne31 with Hax via Lean 4 - View it on GitHub