Formal verification effort for the ABDK Math 64.64 library using echidna/hevm

2 points| galapago | 6 months ago |github.com