package coq-mathcomp-word

  1. Overview
  2. No Docs
Yet Another Coq Library on Machine Words

Install

Dune Dependency

github.com Edit opam file Versions (9)

Authors

  1. P
    Pierre-Yves Strub

Maintainers

  1. P
    pierre-yves@strub.nu

Sources

coq-mathcomp-word-v3.1.tbz
sha512=848c0467c9cbad3671d3e3c0334d748e679017805625a138fe3ffa6ee27e447285f9724c5aace55df501aaa8d0f1b640684d4f1d2b62b2b9103867530c3bf746

Description

Tags

category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2024-03-21

Published: 23 Apr 2024

Dependencies (4)

  1. coq-mathcomp-algebra
  2. coq-mathcomp-ssreflect >= "2.0" & < "2.3~"
  3. coq >= "8.16"
  4. dune >= "2.8"

Dev Dependencies

None

Used by

None

Conflicts

None