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.1.tar.gz
sha256=3fc85baf53175cd82f6e9b2b33cafa7148349974dc8443fca5cc99d72beb6e5f

Description

Published: 14 Mar 2019

Dependencies (2)

  1. coq >= "8.9" & < "8.11~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None