project-oak/silveroak

Formal specification and verification of hardware, especially for security and privacy.

CoqStars 128Forks 20Watchers 128Open issues 37License Apache License 2.0

Details

仓库信息

Ownerproject-oak

Homepage—

Last pushed2022-05-19

Last updated2025-12-15

Issues fetched at—

Community at a glance