Formal verification effort for the ABDK Math 64.64 library using echidna/hevm Posted by galapago on Monday August 25, 2025 @10:20AM from the github.com dept. https://github.com/gustavo-grieco/abdk-math-64.64-verification ( no comments | 2 points | on HN )
There are no comments yet.