package coq-mathcomp-word
Yet Another Coq Library on Machine Words
Install
Dune Dependency
Authors
Maintainers
Sources
coq-mathcomp-word-v3.4.tbz
sha512=4c12260fb264c4cc30fd5b386a4da2337ee226e174a8ba2759819c1483488cfe87306a1a098523b8a129a661e5cb98af8f85eefcb2d3f2005b78739a979b032e
Description
Tags
category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2026-03-10Published: 11 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