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

Fix tiny typo #966

Closed ju-sh closed 2 years ago

ju-sh commented 2 years ago

Fix tiny typo

fshaked commented 2 years ago

Thank you