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

v2.0.tar.gz
sha512=07bb65131cccf64df60d256cec695a60052cd3d2de00c2be90e51e601b7cdc89c6fbc7fcf0a346849f9f4d5d46901b208a65bde97bb5dfe8e35b2612afd5c66a

Description

Tags

category:Computer Science/Data Types and Data Structures keyword:machine words logpath:mathcomp.word date:2022-09-27

Published: 05 Oct 2022

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. coq-mathcomp-zify