silveroak
by project-oak
archivedCoqpushed over 4 years ago
Formal specification and verification of hardware, especially for security and privacy.
- stars
- 123
- forks
- 20
- watching
- 16
by project-oak
Formal specification and verification of hardware, especially for security and privacy.