package coq-bits

  1. Overview
  2. No Docs
A bit vector library

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. A
    Andrew Kennedy <akenn@microsoft.com>
  2. A
    Arthur Blot <arthur.blot@ens-lyon.fr>
  3. P
    Pierre-Évariste Dagand <pierre-evariste.dagand@lip6.fr>

Maintainers

  1. A
    anton.a.trunov@gmail.com

Sources

1.0.0.tar.gz
sha512=4eb9932c7dee8ae5edf8ba80f8706a813eb02c41d52653c3947e9b6566e87d765a1ca2c4c78118e924bfaf3930e24c9bc36c6168f4c3192f2bb4cd60fd2bf6b7

Description

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers

Tags

category:Computer Science/Data Types and Data Structures keyword:bit arithmetic keyword:bitset keyword:bit vector keyword:extraction logpath:Bits date:2020-02-04

Published: 04 Feb 2020

Dependencies (2)

  1. coq-mathcomp-algebra (>= "1.7" & < "1.12~")
  2. coq (>= "8.7" & < "8.13~")

Dev Dependencies

None

Used by

None

Conflicts

None