package coq-bbv

  1. Overview
  2. No Docs
An implementation of bitvectors in Coq.

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. T
    Tej Chajed
  2. H
    Haogang Chen
  3. A
    Adam Chlipala
  4. J
    Joonwon Choi
  5. A
    Andres Erbsen
  6. J
    Jason Gross
  7. S
    Samuel Gruetter
  8. F
    Frans Kaashoek
  9. A
    Alex Konradi
  10. G
    Gregory Malecha
  11. D
    Duckki Oe
  12. M
    Murali Vijayaraghavan
  13. N
    Nickolai Zeldovich
  14. D
    Daniel Ziegler

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v1.2.tar.gz
sha256=4b5e8f7cc2dca5dfcaaea1ef76d1586059930dda473b6d509e6c5fe82cf83a69

Description

Published: 15 Oct 2020

Dependencies (2)

  1. coq >= "8.8.2" & < "8.14~"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-katamaran < "0.2.0"

Conflicts

None