2 search results for "tag:"category: Miscellaneous/Extracted Programs/Hardware""
Showing 1 - 2
-
coq-hardware
No documentation
Verification and synthesis of hardware linear arithmetic structures8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019 -
coq-multiplier
No documentation
Proof of a multiplier circuit8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019