gustavo-grieco/abdk-math-64.64-verification

Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora

2 best points · 0 comments · 1 Hacker News post · 3 GitHub stars · View on GitHub

Hacker News discussions

• Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (2 points, 0 comments, by galapago, 2025-08-25)