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-v2.4.tbz
sha512=d375c16a8077a5e63885d96e05d6094bccba26f36fc935d350ece3b8c2a15f91bfff2c2892d53d9bce9378d014ba4ac10e30f6b8710a473e2831fa4b386b68ae

Description

Tags

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

Published: 11 Jun 2024

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None