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.3.tar.gz
sha512=75a4960945366de2484043b5bd14daff3a89d381c20e426e3d686c1c6141e98ebdbeb137e1935bb1b857c4e476b1ec306b8b63d7d10e8f805598b501724b3cc2

Description

Published: 05 Apr 2022

Dependencies (2)

  1. coq >= "8.7~" & < "8.17~"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-sail

Conflicts

None