Formal verification effort for the ABDK Math 64.64 library using echidna/hevm #1 Post by galapago » Mon, Aug 25, 2025, 2:20 PM UTC Formal verification effort for the ABDK Math 64.64 library using echidna/hevmgithub.com