package coq-mathcomp-word
Yet Another Coq Library on Machine Words
Install
Dune Dependency
Authors
Maintainers
Sources
coq-mathcomp-word-v3.2.tbz
sha512=503c252b6dc7cec12348c7224d4cd1fbd2ce5c2674c8e295238f18d7aefa2bdd97d19a7ff184701455c70d3755868c3c996bf600652cb12315bdee95d750b470
Description
Tags
category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2024-03-21Published: 11 Jun 2024
Dependencies (4)
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
>= "2.0" & < "2.5~" -
coq
>= "8.16" -
dune
>= "2.8"
Dev Dependencies
None
Used by (1)
-
coq-ssprove
>= "0.2.4"
Conflicts
None
On This Page