package coq-mathcomp-word
Yet Another Coq Library on Machine Words
Install
Dune Dependency
Authors
Maintainers
Sources
coq-mathcomp-word-v3.3.tbz
sha512=f3069194fcb70831de4b3c7eafa0c2c1c0d108705a563fa0f3de007d02f4b7baebbd0cfe3f0a5737fa722ddcfa1e8124eb8a49e0a122b8cde1f186c14c8760cf
Description
Tags
category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2026-03-06Published: 09 Mar 2026
Dependencies (4)
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
(>= "2.0" & < "2.6~") -
coq
>= "8.16" -
dune
>= "2.8"
Dev Dependencies
None
Used by (1)
-
coq-ssprove
>= "0.3.1"
Conflicts
None
On This Page