Add an implementation of SHA3/Keccak

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

https://github.com/LeventErkok/sbv

Other

240 stars 33 forks source link

Closed LeventErkok closed 9 months ago

LeventErkok commented 1 year ago

SHA3/Keccak would be a good addition

LeventErkok commented 9 months ago

Will implement this if there's an external request.