search

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.
Apache License 2.0
124 stars 20 forks source link

Add proof for sha256_len #964

Closed yanok closed 2 years ago

fshaked commented 2 years ago

Thank you.