GitHub repository: project-oak/oak-hardware
Primary language: Coq
Created: 2019-07-31T22:17:45Z
Description: Formal specification and verification of hardware, especially for security and privacy.