package coq-mathcomp-word
Yet Another Coq Library on Machine Words
Install
Dune Dependency
Authors
Maintainers
Sources
coq-mathcomp-word-v3.5.tbz
sha512=b8e0c03db052863cb3b48fd3da5963a80bd797ad81012520e49f7daa4c06b6999a7ba4bc98d83ac7d72421fd9f4f97642ae1b1cce0289726f8d64faed3dda618
Description
Yet Another Coq Library on Machine Words
Tags
category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2026-07-24Published: 24 Jul 2026
Dependencies (5)
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
(>= "2.0" & < "2.6~") - coq-stdlib
-
coq-core
>= "8.16" & < "9.2~" -
dune
>= "2.8"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page